OpenAI Posted 722 Math Papers on GitHub. Who Checked Them?

Описание: On October 6, 2026, OpenAI published 722 mathematics manuscripts on GitHub, written by an internal model. The repository tracks verification in two different inventories, with different inclusion criteria.

This five-minute Brief follows a paper about approximating pi through three questions: was its proof checked, what does that check cover, and can outsiders reproduce the model's process? The accompanying Lean note covers the result about pi and explicitly excludes the paper's series consequence. That boundary matters.

The catalogue of formalized main results lists 162 papers. A separate inventory links 329 papers to Lean notes across 235 of the 372 families. Those inventories use different inclusion criteria. In this snapshot, 393 manuscripts have no linked Lean note. These are repository inventories, not our own independent verification of the proofs.

OpenAI released ten abridged reasoning summaries, an average compute figure, and a count of about 4,000 problems. It did not release the model or the prompts with this collection. Andrew Sutherland wants replication of the one-shot claims; Daniel Litt argues that true answers should be available to mathematicians.

The Frontier, Explained in Five Minutes.

CHAPTERS
0:00 The release and the three questions
0:40 What was released
1:23 What a proof checker checks
1:52 The pi paper and its scope
2:21 Two verification inventories
3:16 Reproducing the model’s process
4:14 The verdict
4:41 Next: outside scrutiny

SOURCES
OpenAI, "Sharing AI progress in mathematics" (October 6, 2026): https://openai.com/index/sharing-ai-p...
Repository: https://github.com/openai/math
AGMAI recommendations: https://agmai.org/general-sep29/
Scientific American (October 6, 2026): https://www.scientificamerican.com/ar...
Pi paper formalization scope: https://github.com/openai/math/blob/m...
Formalization catalogue: https://github.com/openai/math/blob/m...

NEXT
700 AI Agents Hacked Hugging Face. Here's Why:    • 700 AI Agents Hacked Hugging Face. Here's Why  

Counts were taken from the repository on October 7, 2026. OpenAI says it will keep adding Lean files, so the split can change.