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.

For ages, countless mathematicians have advanced mathematics through proofs. This is because proof is a key tool for developing new theories and solving problems. That’s why a discussion about proofs ...