Schur's spectacular failure to prove Fermat's last theorem.
9:41
Papers unpicked: Colouring Graphs and Fermat's Conjecture
16:48
Ramanujan, 1729 and Fermat's Last Theorem
29:09
How Not to Prove the Collatz Conjecture
27:53
The Bridges to Fermat's Last Theorem - Numberphile
18:02
Automated Mathematical Proofs - Computerphile
9:31
Fermat's Last Theorem - Numberphile
9:41
An Introduction to Mathematical Proofs
52:01