News12 min
OpenAI Astra: 10 Math Proofs, Verified in Lean (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.
Tag
#lean-theorem-prover
1 post