Models & Tools
OpenAI's 'Astra' Model Claims 10 Open Math Problems Solved - When AI Stops Benchmarking and Starts Discovering
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

Your Linux servers, as a desktop.
TermalOSSponsored
Ops, reimagined

Your Linux servers, as a desktop.

Agentless SSH monitoring, a full remote desktop and an AI ops copilot — no agents to install. Everything stays on your machine.

Get early access
Rubriques
Explorer
Informations