OpenAI Backs a Top-Mathematician Group That Can Publish Unsolicited Criticism
Mathematicians have set up an independent advisory group hosted at the Institute for Advanced Study — Gowers, Hairer, Witten, Vakil, Matchett Wood among them. It can publish advice OpenAI did not ask for. This is a charter and roster, not a first ruling.
Corrected October 14, 2026: Corrected the Limits note: OpenAI's post claims an internal model resolved Navier–Stokes and more than 100 open problems without publishing proofs. Also narrowed the bylaws and calendar point to the launch announcement and removed an unverified 'Fields-level' description and related-work references.
The names are the story. A top-mathematician roster that can publish unsolicited criticism is a different object from a lab blog listing its own proofs.
OpenAI (September 21): mathematicians have established an independent Advisory Group on Mathematics and Artificial Intelligence, hosted at the Institute for Advanced Study. OpenAI says the group is a bridge to the mathematical community after criticism of how AI companies handle math results. It will advise on reviewing and communicating emerging results, on academic standards, and on how OpenAI’s tools can support research and learning.
The group operates independently of OpenAI. It can offer advice that was not requested, comment on OpenAI’s impact on mathematics, and make its advice public.
Initial members#
As listed by OpenAI: François Charles (ENS-PSL), Camillo De Lellis (IAS, GSSI), Timothy Gowers (Collège de France, Cambridge), Martin Hairer (EPFL, Imperial College London), Nikhil Srivastava (Berkeley, Simons Institute), Ulrike Tillmann (Oxford, INI), Ravi Vakil (Stanford), Edward Witten (IAS), Melanie Matchett Wood (Harvard).
Limits#
- Charter and roster, not a first ruling.
- The launch announcement did not include bylaws, a conflict policy, or a calendar.
- The post claims an internal model resolved the Navier–Stokes Millennium Prize problem and more than 100 long-standing open problems, but publishes no proofs.
- Whether the group is used, and whether a result ships without it, is the next test.