Technology
Advisory mathematicians question OpenAI's latest release of math solutions
October 8, 2026 at 07:00 PM
Coverage
2 reports · 1 in Arabic, 1 in English · over 14 hours
OpenAI this week released hundreds of claimed solutions to hard math problems, and an elite mathematician advisory group has questioned whether its guidelines were followed.
- OpenAI released hundreds of claimed solutions to open problems, including ones derived from the Navier-Stokes equations, using a model not available to the public.
- The Princeton-hosted Advisory Group on Mathematics and AI said it is up to the community to assess whether OpenAI followed its recommendations.
- AGMAI's first guideline asked labs to stop testing advanced problems on proprietary models; OpenAI says it evaluates proprietary models on open research problems.
- University of Cambridge and King's College mathematicians documented discrepancies between the natural language proof and the Lean code of OpenAI's Navier-Stokes solution.