OpenAI's Astra Solved 10 Open Math Problems — With Verifiable Proofs
OpenAI’s unreleased Astra model reportedly solved ten open math problems, including a non-sofic group, and published verifiable Lean proofs. The claims, caveats, and why it matters.