OpenAI drops AI answers to more than 370 math problems

OpenAI's mass publication of over 370 AI-generated math solutions arrives after weeks of controversy. When the company previously announced an AI solution to the Navier-Stokes equations, two mathematicians accused OpenAI of feeding their in-progress work into its model. OpenAI denied this, saying its training data cutoff preceded their use of its Codex product. In response to that criticism, OpenAI formed an independent advisory group on mathematics and AI at the Institute for Advanced Study, which released recommendations for publishing AI-generated proofs. OpenAI followed some but not all of those steps in its latest release, and the advisory group reaffirmed its recommendations while noting discussions with OpenAI were constructive.

The results have split mathematicians. Some, like University of Toronto professor Dan Litt, are enthusiastic, seeing new areas to explore and comparing the feeling to learning to fly. Others, like UCLA's Terence Tao, argue that solving problems so quickly robs the field of its future by discouraging students and devaluing the process of arriving at solutions. Tao said the mass release marks the end of 'Math 1.0' and called for a 'Math 2.0' era that decenters raw problem solving.

The stakes hinge on whether the mathematical community can adapt its norms around credit, training, and exposition fast enough to absorb AI-generated results. For mathematicians, funding bodies, and students, the test is whether AI becomes a tool that expands human exploration or an accelerant that erodes the field's human core.