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

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 claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who ...

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.

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

UCLA mathematician Terence Tao, who reviewed the result, said that ChatGPT used a completely different method to solve the problem. It used a formula that was well known, but which no one had thought ...

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

GPT-5.4 Pro cracked a conjecture in number theory that had stumped generations of mathematicians, using a proof strategy that no human had ever considered.