OpenAI drops 722 AI-written math papers targeting previously unsolved problems
iamfakhrealam · x · 2026-10-08
OpenAI has released 722 math papers entirely written by an AI model, all free. Key facts:
- The model was given 4,000 hard problems nobody had solved, as normal math benchmarks got too easy
- It spent roughly 3 hours thinking per result
- Topics range from π to the math behind magnets
- Verification: many proofs were checked by Lean, a formal tool that checks every step — but not all are verified yet, and OpenAI says some may still contain errors
- Papers, proofs, and notes on how the AI reasoned are all freely available
The takeaway: AI has moved from solving homework to problems mathematicians spend years on.
More from Models
- GLM V4.1 Looks Like the Best Chinese Model on ARC-2, Says TeortaxesTex — teortaxesTex · 2026-10-08
- Models systematically underestimate their own capabilities, even newest ones — repligate · 2026-10-08
- Nace.AI open-sources Drex 1.1, an 8B diffusion-LM decision model with released weights — nischay_twt · 2026-10-08
- Indie chatbot Auro lets users blind-pick between model versions to shape its personality — TheMoonMidas · 2026-10-08
- Claude Haiku 5.5 spotted in Claude Code update, rumored at $0.1/M input tokens — kimmonismus · 2026-10-08
- Haiku 5.5 day: Anthropic's latest small model appears to ship — scaling01 · 2026-10-08