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.

Artificial intelligence is mastering the kinds of projects that have long helped to build the careers of young mathematicians ...

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

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

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

America, we’ve got a middle school problem. Although reading and math scores are up for 9-year-olds on the National ...