OpenAI's Astra Solved Decades-Old Math Problems For $2,000
Why it matters — The claim is sourced to a single feed (Slashdot, summarizing a Forbes report) and ultimately to OpenAI itself, so it should be read as a vendor announcement rather than independent verification. If the proofs hold up under community review, the interesting shift is structural: machine-checkable certificates attached to AI-generated mathematics at this scale, and a public claim that frontier reasoning models can displace long-standing open problems in active subfields rather than only reproduce known results.