Observed arrival · 2026-10-22
Open Math Atlas: a map of OpenAI’s math papers
A public explorer organizes mathematical manuscripts attributed to OpenAI into result families, disciplines, and explanations, with Lean verification status in view.
- For
- Readers checking AI-produced mathematical results
- Worth noticing
- The site says three texts were withdrawn after a sign error was found two days after release.
Field notes
The homepage says the atlas syncs from the public openai/math repository and reports its latest sync date as 20 October 2026. Its examples separate different kinds of mathematical output, including proofs, improved bounds, computations, and variants, rather than presenting the collection as a uniform set of solved problems. It also describes three texts being withdrawn after a sign error, and says the Riemann-hypothesis work is a partial result, not a solution.
Observed signals
Read the marks
Editorial observations of this landing page, not a rating.
One card from the complete issue