OpenAI internal model produced 722 math manuscripts

On Oct 6, 2026, OpenAI published 722 manuscripts from an unreleased internal model, grouped into 372 result families across geometry, algebra, number theory and more, with some touching long-open problems. Many proofs were formalized in Lean; three were withdrawn the next day for a sign error, underscoring that human verification still matters.

• HN discussion: why math community dumped OpenAI2026-10-17
• AI-generated Navier–Stokes solution with Lean proof2026-09-09
• AI smart glasses can answer 80% of SAT questions, study finds2026-11-01
• OpenAI cuts funding target by $10B; valuation falls to $1.25T2026-10-31
• GPT-5.6 Sol beats Factorio on peaceful mode2026-10-31