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

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

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

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

OpenAI says an AI reasoning model disproved an 80-year-old Erdős geometry conjecture, raising new questions about AI’s role ...

OpenAI says its internal reasoning AI has solved a decades-old discrete geometry problem, overturning a long-held ...

The sudden resolution of a well-known conjecture highlights the growing adoption of AI as an assistant in high-level ...

An AI system developed by OpenAI has produced a verified proof addressing a classic problem in discrete geometry first posed ...

By replacing the most fundamental concept in topology, Peter Scholze and Dustin Clausen are taking the first step in a far ...