On June 23, 1993, the mathematician Andrew Wiles gave the last of three lectures detailing his solution to Fermat’s last theorem, a problem that had remained unsolved for three and a half centuries.

At an event in London, mathematicians have made unexpectedly fast progress on formalising Fermat's last theorem using AI ...

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.

Patterns appear widely throughout nature and math, from the Fibonacci spirals of sea shells to the periodicity of crystals. But certain math problems can sometimes trick the human solver into seeing a ...

Sam Raskin has wrapped his head around a math problem so complex it took five academic studies — and more than 900 pages — to solve. The results are a sweeping, game-changing math proof that was ...