An AI just cracked 10 math problems humans couldn't solve for a decade — total compute bill: $2,000. OpenAI's unreleased Astra published machine-checkable Lean proofs on GitHub, including the first explicit non-sofic group (open since 1999). The shift isn't "AI does math." Verifiable, novel discovery is now cheap enough to run on a hobby budget. Which research field gets rewritten first when proofs cost pocket change? www.contentbuffer.com #AI #OpenAI #Math #Research #Astra