OCT 07 2026
OpenAI publishes 372 new mathematical results from an unreleased internal model
Per OpenAI's own post and Scientific American's reporting, the still-unreleased internal frontier model was given roughly 4,000 math problems, with the average result requiring compute equivalent to about three hours of ChatGPT Pro-level thinking; the public openai/math GitHub repo now holds 722 manuscripts across 372 related result families, including Lean formalizations for many results. OpenAI says it consulted the independent Advisory Group on Mathematics and AI at the Institute for Advanced Study on how to responsibly release the results, and plans to keep testing internal models against open math and science problems ahead of any public release of the model itself.
Source: openai.com/index/sharing-ai-progress-in-mathematics
Full brief, OCT 07 2026
SEP 22 2026
OpenAI forms an independent math advisory group after Fields Medalists' backlash
Earlier this month, 25 Fields Medal-winning mathematicians signed an open letter accusing frontier AI labs of racing to one-up each other on famous open problems in ways that undercut the mathematical community's own work — a dispute that traces back to OpenAI's contested Navier-Stokes claim. OpenAI has now announced the Advisory Group on Mathematics and Artificial Intelligence, hosted at Princeton's Institute for Advanced Study, with nine initial members including Timothy Gowers, Martin Hairer and Edward Witten (only one, Camillo De Lellis, also signed the original letter). Per OpenAI's own post and the IAS's statement, the group advises on assessing the significance of new results, coordinating how they're disclosed, and upholding academic standards — explicitly not on the pace of OpenAI's internal research. Per TechCrunch, OpenAI says a model whose training began August 28 has since resolved more than 100 long-standing open problems across most areas of mathematics, which is the number the mathematicians are reacting to.
Source: techcrunch.com/2026/09/21/openai-forms-math-advisory-group-…
Full brief, SEP 22 2026
SEP 09 2026
OpenAI says its AI solved the Navier-Stokes Millennium Prize Problem
OpenAI announced its system produced an analytical proof and Lean-verified formalization that a smooth fluid at rest can develop a singularity in finite time, resolving one of the Clay Institute's Millennium Prize problems. Per OpenAI's own writeup, roughly 10,000 concurrent agents worked the problem starting September 1st, reaching the result about 88 hours later on September 5th, with Lean formalization taking a further 17 hours via GPT-6 Astra; Axios reports the compute cost ran into the millions of dollars. OpenAI says it won't claim the $1M prize. The announcement is shadowed by controversy: per Nature and Axios, OpenAI started the push after hearing rumors that mathematicians Levent Alpöge (Harvard) and Tristan Buckmaster (NYU) had solved a version of the problem using Anthropic's models; on X, Sam Altman and OpenAI's Sebastien Bubeck both posted defending how the release was handled after questions about Alpöge's authorship credit.
Source: openai.com/index/navier-stokes-solution
Full brief, SEP 09 2026