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

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

For decades, one of mathematics' most famous unsolved puzzles resisted the efforts of researchers around the world.

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

AI solved a math problem that stumped experts for 80 years, revealing deeper lessons about human cognition, focus, and ...

OpenAI claims one of its newest AI reasoning models has solved a maths problem that has remained unsolved since 1946. The ...

According to the company, a new AI model has, for the first time, independently found proof that refutes an assumption from ...

OpenAI's AI model solved the famous unit distance problem, a question that had challenged mathematicians since 1946 ...

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

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

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 its AI model solved a famous 80-year-old maths problem that puzzled experts for decades, marking a major ...