OpenAI Creates 9-Member Math Advisory Group as It Claims 100+ More Problem Solves
Updated
Updated · TechCrunch · Sep 21
OpenAI Creates 9-Member Math Advisory Group as It Claims 100+ More Problem Solves
3 articles · Updated · TechCrunch · Sep 21
Summary
Nine mathematicians will join a new advisory group hosted at the Institute for Advanced Study, with OpenAI saying it will assess the significance of AI math results and help coordinate their release.
The move follows backlash after OpenAI abruptly published a claimed solution to the Navier-Stokes Millennium Prize problem and then said the same internal model had resolved more than 100 additional open problems.
The group is designed to give mathematicians a voice and can issue unsolicited public advice, control its own membership and operate without pay, giving it some independence from the company.
OpenAI and IAS both said the panel will not control the pace or direction of OpenAI's math research, limiting its role to advice rather than decision-making.
Pressure from the math community has been building: 25 Fields Medalists recently warned that AI labs' race to solve famous problems threatens intellectual work, and only one initial member signed that letter.
Could OpenAI's unreleased model have secretly memorized human mathematicians' unpublished work to crack the Navier-Stokes equation?
When machines generate proofs too complex for human minds to grasp, have we solved math or simply made ourselves obsolete?
If an AI solves a Millennium Prize problem in 88 hours, does the machine or the human verifier deserve the reward?
The 2026 Navier-Stokes AI Proof: Verification, Ethics, and the Transformation of Mathematics
Overview
In September 2026, OpenAI responded to rumors of progress by academic researchers on the Navier-Stokes problem by rapidly deploying a powerful internal AI system with thousands of agents. This system generated a groundbreaking proof, which was then formally verified using Lean. The announcement sparked controversy over attribution and data ethics, as some researchers feared their work could be absorbed by commercial AI tools. Leading mathematicians warned that AI could overwhelm human understanding and disrupt the traditional transmission of mathematical knowledge. In response, the global math community formed an independent Math Advisory Group to ensure proper vetting and attribution of AI-generated proofs, aiming to balance rapid AI discovery with human comprehension and trust.