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.

Like many math students, I had dreams of mathematical greatness. I thought I was close once. A difficult algebra problem in college kept me working late into the night. After hours of struggle, I felt ...

The first proof that many people ever learn, early in high school, is the ancient Greek mathematician Euclid’s proof that there are infinitely many prime numbers. It takes just a few lines and uses no ...