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

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

Company says work on Paul Erdős planar unit distance problem shows advance in AI reasoning ...

OpenAI says its AI model solved a famous 80-year-old maths problem that puzzled experts for decades, marking a major ...

A general-purpose reasoning model, not a math-trained system, produced a new family of point configurations that broke Paul ...

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

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

The AI-assisted math results were first coming in a trickle, but they seem to be threatening to turn into a deluge. OpenAI ...

OpenAI's breakthrough in solving a major math problem shifts market confidence. Anthropic having the best Math AI model by ...

As AI keeps making new breakthroughs in mathematics, humans might still have a way to stay relevant. Elon Musk thinks the answer ...