ChatGPT's breakthrough is not what it seems.

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

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

A game of chess requires its players to think several moves ahead, a skill that computer programs have mastered over the years. Back in 1996, an IBM supercomputer famously beat the then world chess ...

Mathematician Kevin Buzzard of Imperial College London is training computers how to prove one of the most famous problems in math history: Fermat’s last theorem. Resolving the problem isn’t the point.

A professor who has devoted his career to resolving the mysteries of higher mathematics has solved two separate, fundamental problems that have perplexed mathematicians for decades. A Rutgers ...

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