剧情简介：
‘这里空白太小，写不下’——费马那句批注究竟指什么？
1637年，皮埃尔·德·费马在阅读丢番图《算术》第2卷问题8时，在页边写下：‘不可能将一个立方数写成两个立方数之和；或者将一个四次幂写成两个四次幂之和；或者，总的来说，不可能将一个高于2次幂写成两个同样次幂的和。’他称自己有‘十分美妙的证明’，但页边空白不足。这句话即费马大定理原始表述：当n＞2时，方程xⁿ＋yⁿ＝zⁿ不存在正整数解。
该批注直到1670年才由其子出版面世，成为此后358年数学界最持久的挑战。它并非孤立断言，而是植根于毕达哥拉斯定理（x²＋y²＝z²存在无穷多组整数解，即毕氏三元组）的自然延伸，构成从‘存在解’到‘高次无解’的深刻转折点。
为什么证明耗时近四个世纪？关键障碍在哪？
18世纪起，欧拉证得n＝3情形，热尔曼推进至一类质数指数，狄利克雷与勒让德完成n＝5，拉梅攻克n＝7；但1847年拉梅与科西宣称的‘完整证明’被库默尔指出致命缺陷：复数域中整数缺乏唯一因子分解性。库默尔由此创立理想数理论，却也得出悲观结论——当时数学工具无法完成通解。
这一判断被1900年希尔伯特列为23个难题之一，又被1931年哥德尔不可判定性定理进一步笼罩阴影：某些真命题可能无法在给定公理体系内被证明。沃尔夫斯凯尔10万马克悬赏（1908–2007）更凸显其难度等级——它不是技术修补，而是需要全新数学范式的跃迁。
1963年，10岁的安德鲁·怀尔斯读到埃里克·坦普尔·贝尔《最后问题》，从此锚定一生志业；1994年，他在剑桥大学三一学院讲座中宣布完成证明，核心在于连接椭圆曲线与模形式的谷山–志村猜想，将费马问题转化为现代数论可处理的对象。全片以此为叙事支点，回溯线索清晰、史料扎实、逻辑闭环可核验。
