OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who ...

A chatbot’s result for the 80-year-old “unit distance” conjecture is the first AI proof that would likely be published in ...

OpenAI has revealed a breakthrough proof that overturns a nearly 80-year-old geometry conjecture posed by Paul Erdős.

For nearly 80 years, mathematicians have struggled to solve a classic geometry puzzle first posed by Paul Erdős in 1946: the ...

The puzzle poses a deceptively simple question that boils down to: How many pairs of dots on a piece of paper can be the same ...

OpenAI has said that one of its unreleased AI reasoning models has solved a long-standing mathematics problem first proposed ...

Then it’s kind of a mystery to try to figure out why and how they’re related.” The Riemann hypothesis has proved to be a font ...

OpenAI says an internal model autonomously cracked an 80-year-old math problem, raising new questions about AI's research ...

On Thursday, Google DeepMind announced that AI systems called AlphaProof and AlphaGeometry 2 reportedly solved four out of six problems from this year’s International Mathematical Olympiad (IMO), ...

A system developed by Google’s DeepMind has set a new record for AI performance on geometry problems. DeepMind’s AlphaGeometry managed to solve 25 of the 30 geometry problems drawn from the ...