A mathematician will turn a groundbreaking 100-page proof into computer code. The proof tool, Lean, lets users turn proofs written in prose into rules and logic for testing. Kevin Buzzard already uses ...

As a boy, Wiles discovered Fermat’s Last Theorem and vowed to be the one to solve it. Decades later, already a Princeton professor, he set out on a secret mission to prove the Taniyama-Shimura ...

Andrew Wiles stumbled across the world's greatest mathematical puzzle, Fermat's Theorem, as a ten-year-old schoolboy, beginning a 30-year quest with just one goal in mind: to solve the problem that ...

The following is an extract from our Lost in Space-Time newsletter. Each month, we hand over the keyboard to a physicist or mathematician to tell you about fascinating ideas from their corner of the ...