The Verge spoke to Martin Hairer, one of the nine mathematicians on the new Advisory Group on Mathematics and Artificial Intelligence, as OpenAI prepares to release more than 100 results from an unreleased model. We set out who sits on AGMAI, what OpenAI and the group have each promised, why the math community feels bulldozed, and what a responsible release process would look like.
OpenAI’s brute-force Navier-Stokes proof has mathematicians asking what AI is doing to a field that has always worked like an art form. We trace the argument from G. H. Hardy to the Erdős problems, check the numbers behind the declaration and the compute bill, and draw lessons for any expert workforce.
OpenAI announced on 21 September 2026 that an internal model has resolved more than 100 long-standing open mathematical problems, and that an independent advisory group hosted at the Institute for Advanced Study will now advise on how such results are assessed and released. Ten days earlier, Fields Medallists published a declaration calling the goals of AI companies and mathematicians “severely misaligned.” This article checks both name lists, sets out the compute figures OpenAI published for the Navier-Stokes proof, and identifies the one thing the advisory group is explicitly forbidden from advising on.
Mathematicians want proof that OpenAI didn’t use their work. After OpenAI said an internal model solved the Navier–Stokes Millennium Prize Problem, NYU’s Tristan Buckmaster asked whether his Codex sessions had trained it, and TU Dresden’s Andreas Thom asked the same about his ChatGPT chats and OpenAI’s non-sofic group result. OpenAI says no person or agent looked at their data, but it cannot rule out that de-identified data from their product use helped improve its models. We set out the timeline, the compute arithmetic, what each side claims, what OpenAI’s data controls actually cover, what real proof would look like, and what the dispute means for any business that puts unpublished work into AI tools.
Progressive Robot: Your Gateway to Comprehensive IT Solutions — Specializing in Web Development, Mobile App Development, and Expert IT Services.
© All Copyright by Progressiverobot.com
VAT Number ( 506152326 )
