OpenAI’s Astra Just Cracked 10 Long-Standing Math Problems — Here’s Why That’s Both Historic and Incomplete
Reading Time: 5 minutesOpenAI’s internal Astra model reportedly produced ten advances on long-standing mathematics problems, verified via the Lean formal proof checker — but critics note an undisclosed failure denominator and the rapid partial replication by a public Claude model raise important questions about the scope of the claim.