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.
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 )
