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

Hungarian mathematician Paul Erdős’ ‘planar unit distance conjecture’ has stood since 1946 – but an AI disproof has made ...

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

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

Three mathematicians have laid out proof that solves a long-standing problem in mathematics. Even the mathematician—an Abel ...

OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who ...

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

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

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

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

Only a few months ago, the question felt mostly philosophical: if artificial intelligence can help solve open math problems, ...

OpenAI announced this week that one of its general-purpose reasoning models made a breakthrough that has grabbed the ...