OpenAI Astra Model Solves 10 Open Math Problems With Lean Proofs
The OpenAI Astra model produced ten new maths results with machine-checkable Lean 4 proofs for about $2,000 in inference. What that actually means.
8 min00
All Topics
#"Astra"
1 article