OpenAI claims new model solved Navier-Stokes and 100+ math problems
OpenAI announced on September 21, 2026, the creation of the Advisory Group on Mathematics and Artificial Intelligence (AGMAI), an independent body of nine mathematicians including Timothy Gowers and Edward Witten. The group is supported by the Institute for Advanced Study and aims to advise on the evaluation and publication of AI-generated mathematical results. OpenAI states that an internal…
Key points
- OpenAI claims an internal model solved Navier-Stokes and over 100 other unsolved math problems.
- The process used approximately 10,000 simultaneous agents and GPT-6 Astra for formal verification.
- Clay Mathematics Institute still lists Navier-Stokes as active, indicating lack of independent verification.
Model page: GPT-6 Astra →
The story so far
2 episodes →- OpenAI claims new model solved Navier-Stokes and 100+ math problemsthis story
Entering an Era Where AI Mass-Produces Unsolved Mathematics: OpenAI's 'Over 100' Claim and the Next Challenges Identified by an Independent Advisory Body
note.com · 27 September 2026
Loading the full article…
This text was published by note.com and written by SIN｜AI活用・業務設計. It is reproduced here with attribution so you can read it in full; the rights remain with the publisher. Read it at the source ↗
The headline, key points and digest above were generated by Digest AI's editorial model from the linked sources. Automated summaries can contain errors: the sources are the record. Spotted a mistake? Tell us. Published by Martin K., who runs Digest AI and handles corrections.
More in Research
All →- Researchers release benchmark for AI in systematic review screening · 1 src
- SlideLab framework generates scientific presentations from research papers · 1 src
- Cartograph reduces AI agent tool discovery from O(n) to O(k) · 1 src
- Survey reviews 211 fake review detection studies from 2018 to 2026 · 1 src
- Researchers audit LLM-as-judge in text-to-SQL pipeline, find low agreement · 1 src
Comments
via GitHub Discussions