OpenAI’s AI model solved an 80-year-old Erdős math problem, marking a breakthrough in AI-assisted scientific reasoning and ...

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 says an internal model autonomously cracked an 80-year-old math problem, raising new questions about AI's research ...

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

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

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

What's next? Will machines now compete for Nobel Prizes? And why the world needs to pay attention before it gets left out in ...

The proof was independently checked by external mathematicians, while a companion paper explaining the argument and its ...

OpenAI says its latest AI model has solved a mathematical problem that has been unsolved for 80 years. Here is what this ...

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

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

On May 20, OpenAI said an internal reasoning model had produced a counterexample to Paul Erdős’s 1946 unit distance ...