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

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

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

A ChatGPT AI has proved a conjecture with a method no human had thought of. Experts believe it may have further uses ...

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.

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

In September 2019, news broke regarding progress on this 82-year-old question, thanks to prolific mathematician Terence Tao. And while the story of Tao’s breakthrough is promising, the problem isn’t ...

We've all been there: staring at a math test with a problem that seems impossible to solve. What if finding the solution to a problem took almost a century? For mathematicians who dabble in Ramsey ...

Imagine you are a mountaineer. Nothing excites you more than testing your skill, strength and resilience against some of the most extreme environments on the planet, and now you've decided to take on ...