In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...

Goldbach’s conjecture sounds almost too simple: every even number greater than two should be the sum of two primes. Mathematicians have chased it for nearly 300 years, a publisher once offered $1 ...

The P vs NP problem is a fundamental question in computer science, unproven for decades, with immense consequences. If ...

An attempt at tackling the intractable Collatz conjecture is a “noble failure” demonstrating the promise of automated reasoning techniques. The computer scientist Marijn Heule is always on the lookout ...

You can probably think of a time when you’ve used math to solve an everyday problem, such as calculating a tip at a restaurant or determining the square footage of a room. But what role does math play ...

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

When the Clay Mathematics Institute put individual $1-million prize bounties on seven unsolved mathematical problems, they may have undervalued one entry—by a lot. If mathematicians were to resolve, ...

What if the next new mathematical discovery didn’t come from a human mind, but from an AI? Imagine a machine not just crunching numbers but proposing original solutions to problems that have baffled ...