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

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

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

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 ...

A brainy riddle that's stumped mathematicians since World War II appears to have been cracked via artificial intelligence.

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 claims one of its newest AI reasoning models has solved a maths problem that has remained unsolved since 1946. The ...

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

Did AI just crack 80 year old maths mystery? OpenAI says that its AI has solved a famous geometry problem that remained ...

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), ...

OpenAI's new reasoning model has disproved a famous 1946 conjecture by Paul Erdős, marking the first autonomous AI solution ...