OpenAI's Astra solves ten unsolvable math problems — at just $2,000
openai's astra model solved ten open problems in math that stumped mathematicians for decades, costing only $2,000 in compute, signaling a new era of ai-powered scientific reasoning.
openai officially confirmed its next major model family, astra, by releasing a report showing the system solved ten previously unsolved problems in math and theoretical computer science. the model generated proofs for complex challenges in fields ranging from high-dimensional geometry to group theory, including the establishment of non-sofic groups, which mathematicians had been unable to solve for decades. researchers noted that solving these problems would have cost roughly $2,000 at api rates and that the model utilized a test-time reasoning technique to formalize proofs in lean for machine-checkable correctness. this development signals a shift toward using extended compute runs for scientific discovery, though noam brown indicated the model has not yet cracked any millennium prize problems.