Fermat's Last Theorem
theorem in number theory that there are no nontrivial integer solutions of xⁿ+yⁿ=zⁿ for integer n>2
Common Themes
Videos Mentioning Fermat's Last Theorem

Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI | Lex Fridman Podcast #472
Lex Fridman
A famous theorem stating that no three positive integers a, b, and c satisfy the equation a^n + b^n = c^n for any integer value of n greater than 2; its proof by Andrew Wiles was a major mathematical event and is being formalized in Lean.

Ep. 197: Cal’s Writing Process, Lessons from Tim Ferriss, and the Power of Paper
Cal Newport
A famous theorem solved by Andrew Wiles, whose story Cal Newport is using in his upcoming book.

The Books Cal Newport Read in April 2022 | Deep Questions Podcast
Cal Newport
A famous theorem in number theory that was one of the three major unsolved conjectures mentioned, later proven by Andrew Wiles.

Ep. 194: Doing Less, Building Discipline, and the Books Cal Newport Read in April | Deep Questions
Cal Newport
A theorem proven by Andrew Wiles, mentioned as one of the famous number theory conjectures.

Edward Frenkel: Reality is a Paradox - Mathematics, Physics, Truth & Love | Lex Fridman Podcast #370
Lex Fridman
A famous theorem in number theory, first conjectured by Pierre de Fermat in the 17th century, stating that no three positive integers a, b, and c can satisfy the equation aⁿ + bⁿ = cⁿ for any integer value of n greater than 2. It remained unproven for 350 years until Andrew Wiles proved it in 1994.

Rodney Brooks: Robotics | Lex Fridman Podcast #217
Lex Fridman
A mathematical theorem that was unsolved for centuries, used as an example of a problem too difficult for a human 'computer' to resolve as a simple step.

An Important Message On AI & Productivity: How To Get Ahead While Others Panic | Cal Newport
Cal Newport
A complex mathematical problem that Andrew Wiles solved in an attic.

Jordan Ellenberg: Mathematics of High-Dimensional Shapes and Geometries | Lex Fridman Podcast #190
Lex Fridman
A famously difficult problem in number theory, simple to state but requiring complex mathematics for its proof by Andrew Wiles.

Geometric Unity - A Theory of Everything (Eric Weinstein) | AI Podcast Clips
Lex Fridman
A theorem proven by Andrew Wiles. It's noted that the problem was easy to state but hard to solve, and became attached to regular theory.

Po-Shen Loh: Mathematics, Math Olympiad, Combinatorics & Contact Tracing | Lex Fridman Podcast #183
Lex Fridman
A famous mathematical theorem, used as an example of a simple statement with an incredibly difficult proof that required profound insights.

Grant Sanderson: Math, Manim, Neural Networks & Teaching with 3Blue1Brown | Lex Fridman Podcast #118
Lex Fridman
A mathematical theorem that Grant Sanderson considers for a video, specifically focusing on proving the case for n=3, which is hard but accessible.

Demis Hassabis: DeepMind - AI, Superintelligence & the Future of Humanity | Lex Fridman Podcast #299
Lex Fridman
A famous mathematical theorem, used as an analogy for the difficulty and significance of the protein folding problem in biology.

Luís and João Batalha: Fermat's Library and the Art of Studying Papers | Lex Fridman Podcast #209
Lex Fridman
A famous theorem in number theory, stating that no three positive integers a, b, and c can satisfy the equation a^n + b^n = c^n for any integer value of n greater than 2. Its history of being unproven for centuries is cited as the inspiration for 'Fermat's Library' name.