OpenAI has privately pressed members of Congress for guidance on whether AI labs could legally coordinate to slow the pace of frontier AI development without violating antitrust law. The inquiry follows a blog post from chief scientist Jakub Pachocki calling for industry-wide coordination on safety, including voluntary slowdowns until shared safety standards emerge. Legal experts warn that such coordination could be seen as restricting output under the Sherman Antitrust Act, creating uncertainty that discourages collaboration.
Alongside its human-readable proof resolving a longstanding Navier-Stokes question, OpenAI also released a machine-checkable Lean 4 formal proof, completed in about 17 hours. The author contrasts this with historical estimates that formalizing research-level math could take tens of thousands of person-hours by hand.
OpenAI has temporarily disabled new subscriptions to its $200-per-month Pro plan after unprecedented demand for its Astra model overwhelmed its infrastructure. Product lead Thibault Sottiaux said the Pro tier strains systems the most, so the company chose to pause it rather than degrade service for existing users. Other offerings, including API access and the Go and Plus plans, remain open to new customers.
OpenAI has released an Agents API that gives developers programmatic access to its Codex agent harness, handling session management, orchestration, context compaction and recovery on OpenAI's servers. Applications supply tools and choose an execution environment, including an OpenAI-hosted sandbox where agents can run code, edit files, and connect to MCP servers. Billing follows standard model, tool, and container rates, and OpenAI has published sample use cases like incident-response bots and GitHub issue investigators.
Jacob Coxon, who worked on pretraining models at both OpenAI and Anthropic, announced his resignation from Anthropic on X, saying both companies are recklessly racing toward self-improving superintelligence. His post drew over 156 million views and sparked responses, including from Illinois Governor JB Pritzker and Anthropic's own alignment team lead Evan Hubinger, who publicly agreed that AI could pose an existential threat.
OpenAI has introduced ChatGPT for Financial Services, a Wall Street-tailored version of ChatGPT Work built with Morgan Stanley and Evercore, powered by its new GPT-6 Astra model. The tool can research potential M&A targets, pull data from industry-standard financial sources, and automatically generate formatted PowerPoint pitch decks matching a bank's style guide.
OpenAI has released ChatGPT for Financial Services, a specialized version of its enterprise product built with input from Morgan Stanley and Evercore. Powered by its newest model, GPT-6 Astra, the tool can research companies, analyze financial data and automatically build the pitch decks that junior investment bankers typically produce by hand.
OpenAI Korea's Harrison Kim disclosed that OpenAI and Samsung are collaborating on production and research for next-generation chips, though he gave no specifics on the chips or Samsung's exact role. He also revealed Samsung has become one of the largest global enterprise deployments of ChatGPT, with staff across multiple markets using it for research, marketing and sales.
A researcher named Jacob Coxon posted a resignation thread citing AI safety concerns, and the announcement unexpectedly spread far beyond the usual AI safety community. The post amplified earlier claims, including one from Evan Hubinger citing a greater than 10% probability of human extinction from AI, pushing extreme risk estimates into mainstream conversation. Commentators argue that rising AI capabilities and recent incidents made the public far more receptive to such warnings than in past years.
OpenAI announced Tuesday that a swarm of 10,000 AI agents, run for 88 hours at a cost of millions of dollars, had found a scenario where the Navier-Stokes equations describe fluids reaching infinite velocity, effectively breaking the famous equations. NYU mathematician Tristan Buckmaster then publicly accused the company of producing a solution suspiciously similar to unpublished work he had been developing for years and was close to finishing.
Amazon has struck a deal with OpenAI allowing advertisers to buy ChatGPT ad inventory through Amazon's demand-side platform, with Delta Vacations among the first U.S. brands testing the integration. Ads will appear as sponsored text and image units below ChatGPT's free and Go-tier responses, purchased on a cost-per-click or cost-per-thousand-impressions basis and managed by Amazon's team, though OpenAI retains control over ad delivery.
Jacob Coxon, who moved from OpenAI to Anthropic earlier this year specifically for its safety-focused reputation, has now left the AI field entirely, saying the industry is on a path toward building systems humans may not be able to control. He told the Wall Street Journal that even Anthropic cannot safely pursue advanced AI without government regulation or a broader industry slowdown, predicting things could spiral by the end of next year. Anthropic's Alignment Science Lead Evan Hubinger publicly backed Coxon, estimating a greater than 10% chance AI could cause human extinction within a decade.
GoKawiil