OpenAI's 'Astra' Model Claims 10 Open Math Problems Solved - When AI Stops Benchmarking and Starts Discovering
An internal OpenAI model reportedly solved ten open problems in mathematics and computer science. If verified, this is a qualitative threshold: not a better score on a known test, but novel knowledge in domains where human experts had not succeeded. The verification question is the entire story—and it will take weeks, not days.
Aug 25, 2026 at 16:27 7 8





