The math world is losing its mind over the new solution to an Erdős problem. This is what AI found, how we missed it—and why ...

Place any number of dots on a two-dimensional plane—say, a piece of paper—and measure the distance between each pair. If you ...

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

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

Researchers at Google DeepMind have announced that their AI system, AlphaProof Nexus, has solved nine longstanding problems ...

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

OpenAI says its AI model solved a famous 80-year-old maths problem that puzzled experts for decades, marking a major breakthrough in AI-powered research and reasoning.

OpenAI makes big splash with AI finding math problem breakthrough. Real lesson is to use AI to find counterexamples. An AI ...

OpenAI AI reasoning model claims breakthrough on the planar unit distance problem, solving Paul Erdos 1946 puzzle and impressing top mathematicians ...