Astra's Ten Proofs: How OpenAI Quietly Changed the Economics of Mathematical Discovery
OpenAI's unreleased Astra model has resolved ten long-standing problems in mathematics and theoretical computer science for roughly $2,000 in compute, producing machine-checkable Lean 4 certificates that anyone can verify. The implications extend far beyond the proofs themselves.
Elena Vance
