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

Researchers cracked a 50-year-old math problem scribbled by Richard Feynman over lunch. The equations show that humans are ...

The result is correct but challenges core norms of mathematics: checking proofs, crediting ideas and keeping research open to ...

AI solved a math problem that stumped experts for 80 years, revealing deeper lessons about human cognition, focus, and ...

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

Scientists asked ChatGPT to solve a math problem from more than 2,000 years ago — how it answered it surprised them We've wondered for centuries whether knowledge is latent and innate or learned and ...

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.

The original version of this story appeared in Quanta Magazine. The simplest ideas in mathematics can also be the most perplexing. Take addition. It’s a straightforward operation: One of the first ...