OpenAI's unreleased Astra model produced a 249-page manuscript solving 10 open problems in mathematics — including high-dimensional geometry, coding theory, and quantum complexity — for a total compute cost of $2,000. Fields Medalist Tom Gowers said he'd have accepted the proofs for a top journal without hesitation. Math as a profession is structurally cooked.