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.
25/08/2026 à 16h27 7 8










