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
#astra-model
1 post
Tag
1 post
News12 min
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.