AI & Technology / Morning research release
Mathematical manuscripts are public; publication is not proof verification
OpenAI announced its internal model’s mathematical release at 06:19 Beijing time on October 7. The repository lists 722 manuscripts in 372 related families. Roughly 4,000 denotes attempted problems, not 4,000 verified theorems.
A family can contain a principal result, supporting arguments, consequences or alternative proofs, so manuscript counts do not count independent breakthroughs. The release includes some Lean formalizations, ten reasoning summaries and compute disclosures. Lean checks formal proofs; the specific statement and assumptions still matter.
Verification stages vary, and unformalized results may contain problems. Revisions will preserve earlier versions. The model remains unreleased; OpenAI reports average compute equivalent to roughly three hours of ChatGPT Pro thinking per result. This report checks the catalogue and disclosure process, not individual proofs, and does not declare the Riemann hypothesis or other major conjectures solved.
Sources and further reading
- Original X post
- Release process and compute disclosures
- Manuscript catalogue and verification limits
Edited report · Sources and limits in copy
Selected through a verified followed account: @OpenAI.