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

Then it’s kind of a mystery to try to figure out why and how they’re related.” The Riemann hypothesis has proved to be a font ...

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

OpenAI’s AI model solved an 80-year-old Erdős math problem, marking a breakthrough in AI-assisted scientific reasoning and ...

What's next? Will machines now compete for Nobel Prizes? And why the world needs to pay attention before it gets left out in ...

Math exam questions should not try too hard to appear "realistic" by adding everyday-life stories, because students would ...

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.

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

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

Here’s a simple-sounding problem: Imagine a circular fence that encloses one acre of grass. If you tie a goat to the inside of the fence, how long a rope do you need to allow the animal access to ...

Bitcoin miners don't solve complex math problems - they guess numbers. While "solving mathematical puzzles" has become a common description of bitcoin mining, the process more closely resembles a ...