Breaking

OpenAI Forms Math Advisory Group After Claiming AI Resolved Navier-Stokes and 100+ Problems

September 23, 2026 at 02:43 EDT

Foundation Models
AI Agents
Research & Papers

OpenAI said a new internal model has resolved the Navier-Stokes Millennium Prize problem and more than 100 other long-standing problems in mathematics, and it is now working with an independent group of mathematicians on how to assess and disclose the results. The announcement turns a claimed frontier-math breakthrough into a governance test for AI-assisted science: can proofs produced at machine speed be verified, credited and absorbed by a human research community?

September 21, 2026 · OpenAI

AI math claims move from breakthrough to review test

OpenAI says a new internal model resolved Navier-Stokes and more than 100 other open problems. An independent math advisory group is now focused on how those results should be reviewed and released.

100+

open problems reported resolved

10,000

agents in the Navier-Stokes run

88 h

to reach the claimed resolution

initial advisory members

Proof run versus formal check

Each stacked segment represents roughly 10 hours, showing the reported time split.

88 h

agent search

17 h

Lean check

How the claim moves through review

Internal model

→

Agent groups

→

Formal proof

→

Community review

Why it matters

The run suggests AI systems can coordinate search, proof construction and formal checking on frontier research questions.

What remains open

Mathematicians still need manuscripts, attribution clarity and independent acceptance before claims become part of the record.

Continue reading

The rest of this article is for AI News Blitz readers. Choose an option below to keep reading.