CryptoSlate
OpenAI announced on Sept. 8 that an internal AI system coordinated roughly 10,000 agents to solve the Navier-Stokes existence and smoothness problem, one of mathematics' seven Millennium Prize Problems. The agents exchanged 2.7 million messages and generated roughly 130 billion output tokens over 88 hours, after which OpenAI spent another 17 hours formalizing the result in Lean. The company said it does not intend to claim the $1 million Clay Mathematics Institute prize, and the proof must still pass broader scrutiny. OpenAI described the internal model as substantially exceeding its recently released GPT-6 Astra in mathematics and said the system remains in training.
Why it matters
The breakthrough landed the same week that two former frontier-lab researchers publicly warned that superintelligence could kill everyone by the end of the decade. Jacob Coxon, who resigned from Anthropic on Sept. 8 and was previously a core contributor to GPT-4o at OpenAI, said "the people building AI earnestly believe that it could kill us all by the end of the decade." Anthropic's alignment science lead Evan Hubinger backed the warning, putting his personal estimate of an extinction outcome at more than 10 percent within ten years.
The pairing of breakthrough and warning has dragged a researcher-only debate into US politics. Sen. Bernie Sanders and Rep. Greg Casar announced the Ban Artificial Superintelligence Act on Sept. 3, which would permanently prohibit superintelligent systems and pause advanced AI development until a federal regulator writes safety rules. Anthropic proposed in June that leading labs develop a verifiable mechanism to slow or halt frontier development when capabilities outrun safeguards.
Market impact
Institutional reaction split. The American Mathematical Society called the Navier-Stokes result a "milestone advance in human knowledge," while billionaire investor Bill Ackman summarized Coxon's resignation thread in one word: "Concerning." Harvard T.H. Chan School of Public Health professor Joseph G.
Frequently asked questions
-
What is the Navier-Stokes problem OpenAI claims to have solved?
The Navier-Stokes existence and smoothness problem asks whether smooth fluid motion can develop a singularity in finite time. It is one of seven Millennium Prize Problems, each carrying a $1 million award from the Clay Mathematics Institute, and has remained open since the 1930s.
-
How did OpenAI's system solve the Navier-Stokes problem?
Roughly 10,000 AI agents coordinated by an internal model exchanged 2.7 million messages and generated about 130 billion output tokens over 88 hours. OpenAI then spent another 17 hours formalizing and verifying the result in Lean, a proof-assistant language.
-
Who is Jacob Coxon and why did he resign from Anthropic?
Coxon is a former core contributor to GPT-4o at OpenAI who spent three years conducting pretraining research at both OpenAI and Anthropic. He resigned on Sept. 8 and publicly said the people building AI earnestly believe it could kill everyone by the end of the decade.
-
What is the Ban Artificial Superintelligence Act?
Sen. Bernie Sanders and Rep. Greg Casar announced the legislation on Sept. 3. It would permanently prohibit the development and deployment of artificial superintelligence and pause advanced AI development until a federal regulator establishes safety rules.
-
What did Evan Hubinger say about AI extinction risk?
Hubinger, Anthropic's alignment science lead, backed Jacob Coxon's warning and put his personal estimate of human extinction from AI at more than 10 percent within the next decade, while stressing current models pose low risk. His concern centers on recursive self-improvement.
WatcherGuru
CoinDesk
CoinTelegraph
Crypto News