OpenAI releases nearly 400 AI-generated math results
Mathematicians say it could take years to understand the release.
Research#04
400
AI-generated math results released at once
Image: The Verge
400AI-generated math results released at once
The short version
- OpenAI released nearly 400 AI-generated results spread across more than 700 manuscripts.
- OpenAI said only 300 top-line results out of 719 manuscripts had been formalized in Lean, around 42 percent.
- Several mathematicians said some papers were hard to follow, and OpenAI retracted three papers.
- Numerous researchers said the work appeared to be of a very high caliber despite shortcomings in its presentation.
Why it matters
Formal verification is missing for many of the claims, so the accompanying papers are the main way mathematicians can check the results. For developers, the episode shows how hard it is to verify AI-generated output at scale.
“Just going over the entire list of abstracts is overwhelming,”