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

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

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

It’s said that AI could soon be coming for the jobs of artists, lawyers, and software engineers. But it might now also be ...

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

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

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

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

The seemingly random distribution of prime numbers has confounded some of the best mathematical minds for centuries. But the Riemann hypothesis, which relates to the zeros in a mathematical function, ...