Lean

Latest developments

OpenAI publishes 722 AI-generated math discoveries in major scientific milestone SiliconANGLE · 3 hours ago · 36

Brand New AI Solves a Millennium Prize Zvi (Don't Worry About the Vase) · 3 weeks ago · 15 On the Navier–Stokes Millennium Prize Problem OpenAI · 4 weeks ago · 34

The Curiously Playable Universe Contraptions · 1 month ago · 31

OpenAI’s Unreleased Model Astra Solves Ten Major Open Mathematics Problems Zvi (Don't Worry About the Vase) · 2 months ago · 6

OpenAI's next major model Astra claims breakthroughs on 10 long-standing math problems neowin.net · 2 months ago · 44

October 2026

◆ OpenAI published a large batch of AI-generated mathematics results, along with Lean proof formalizations released on GitHub Research publication

• 7 Oct OpenAI publishes 722 AI-generated math discoveries in major scientific milestone

September 2026

◆ OpenAI announced an AI-generated, formally verified result for the Navier–Stokes Millennium Prize Problem using an internal multi-agent system Research publication

• 13 Sep Brand New AI Solves a Millennium Prize
• 8 Sep On the Navier–Stokes Millennium Prize Problem
• 7 Sep The Curiously Playable Universe

August 2026

◆ OpenAI's Astra model solves ten long-standing open problems in mathematics and theoretical computer science Research publication

• 3 Aug OpenAI’s Unreleased Model Astra Solves Ten Major Open Mathematics Problems
• 3 Aug OpenAI's next major model Astra claims breakthroughs on 10 long-standing math problems

Relationships

Products & technology

• OpenAI integrated with this tool · 2 sources
• Integrated with Navier–Stokes Millennium Prize Problem · 1 source
• AlphaProof integrated with this tool · 1 source