OpenAI Astra: 10 Math Proofs, Verified in Lean (2026)
August 3, 2026
OpenAI's unreleased Astra model solved ten long-open math problems for about $2,000 and shipped Lean certificates. What agent builders should take from it.
OpenAI's unreleased Astra model solved ten long-open math problems for about $2,000 and shipped Lean certificates. What agent builders should take from it.