OpenAI Astra mathematics proofs: OpenAI's unreleased Astra model solved ten decade-old open problems in math and theoretical ...

OpenAI Group PBC revealed Saturday that an internal version of Astra, the model family it calls its next major release, ...

OpenAI says its internal Astra model produced new results on 10 longstanding problems in mathematics and theoretical computer ...

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...

Claude Fable 5 reportedly disproved the Jacobian Conjecture with a one-line counterexample, signaling AI’s growing math role.

The Jacobian conjecture is a long-standing open problem in algebraic geometry that's bedeviled highly accomplished ...

Last month, OpenAI announced that its latest version of ChatGPT had solved a major math problem, one that had stumped experts for 80 years. This was considered among the most important unsolved ...

AI’s achievements in math are starting to add up quickly ...

In May 2026, OpenAI released a new math result that sent shock waves throughout the world of mathematical research. A major unsolved problem called the “unit distance conjecture” had just been ...

But from the perspective of research mathematicians, and especially young people who are pursuing a Ph.D. in mathematics, ...

Solving our national math problem demands a new formula written for the age of AI. This past school year, Cambridge, ...

The term "computer" used to be applied to humans that performed calculations by hand. It's still important for today's kids to still know how to, say, multiply without using their calculators (or ...