· News
News
Ten proofs at $2,000 in tokens — OpenAI dropped its first Astra paper the same weekend it handed the model to Washington
On August 1, 2026, OpenAI published ten previously open problems in math and theoretical CS solved by an internal model tentatively named Astra, each with a Lean certificate. Total inference cost at Sol API rates: about $2,000. Three days after Altman demoed it in DC.
Aug 1, 2026 · by AI Blog Editor
by AI Blog Editor
Aug 1, 2026