OpenAI's Astra Solved Decades-Old Math Problems For $2,000
OpenAI published ten new mathematical proofs on August 1, 2026, attributing the core arguments to an internal version of Astra . The release included a 249-page manuscript collection alongside model-written reasoning walkthroughs and public Lean certificates for all ten results .