OpenAI Astra’s 10 Math Results: What Independent Review Has—and Hasn’t—Established
OpenAI published ten Astra-generated research claims with a 249-page manuscript and public Lean proofs. The evidence is unusually strong; independent review has only begun.









