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.

ChatGPT's breakthrough is not what it seems.

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.I.’s math problem reflects how much the new technology is a break with computing’s past. By Steve Lohr In the school year that ended recently, one class of learners stood out as a seeming puzzle.

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.