The math world is losing its mind over the new solution to an Erdős problem. This is what AI found, how we missed it—and why ...

The closest the field has come to solving the planar unit distance problem, first proposed in the 1940s, was in 1984. Now, OpenAI claims an internal model has cracked the puzzle.

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

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

The card game Set has long inspired mathematicians to create interesting problems. Now, a technique based on large language models (LLMs) is showing that artificial intelligence (AI) can help ...

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

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

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

Richard Rusczyk, founder of Art of Problem Solving, has a vision for bringing “joyous, beautiful math” — and problem-solving — to classrooms everywhere. When Richard Rusczyk became interested in math ...