Lean proof assistant

10,000 AI Agents, 88 Hours, and a 90-Year-Old Maths Problem: What Actually Happened

On September 8, 2026, OpenAI announced that roughly 10,000 AI agents, working together for 88 hours, had produced a solution to one…