内容速览:
故事入口始于1963年——10岁的安德鲁·怀尔斯在图书馆翻开埃里克·坦普尔·贝尔所著《最后问题》,被页边那句‘我有一个十分美妙的证明,这里空白太小,写不下’深深吸引,由此埋下毕生追寻的种子。
关键线索贯穿三条数学演进主线:一是毕达哥拉斯定理x²+y²=z²存在无穷多组整数解(如3,4,5),构成理解费马命题的起点;二是费马本人在丢番图《算术》第2卷页边写下n>2时xⁿ+yⁿ=zⁿ无整数解的断言,其子于1670年出版该书使猜想公之于世;三是后世数学家按质数分段攻坚:欧拉证n=3、热尔曼推进至一类质数、狄利克雷与勒让德合证n=5、拉梅证n=7,直至1847年库默尔指出‘虚数缺乏唯一因子分解’导致此前所有通解尝试失效。
观看顺序严格遵循历史时序与逻辑递进:先确立毕氏三元组的存在性,再对比费马对高次幂的否定性断言;继而梳理17–19世纪针对具体指数的证明路径,凸显‘质数全覆盖’策略的必要性;随后引入1900年希尔伯特23问、1931年哥德尔不可判定性定理带来的方法论震荡,解释为何20世纪前半叶证明陷入停滞;最终落点于怀尔斯融合模形式与椭圆曲线的新框架,在1994年完成闭环。
相关资料锚定四个可核验节点:费马原始批注载于1670年拉丁文版《丢番图算术》;沃尔夫斯凯尔1908年设立10万马克悬赏,截止期为2007年9月13日;怀尔斯1993年剑桥讲座宣布证明后被发现漏洞,经一年修补于1994年正式发表;全片未涉及任何虚构人物或戏剧化改编,所有数学结论均对应真实学术史实。
本片不提供解题教学,亦不简化公式推导,而是以命题本身为轴心,呈现人类理性在极限处的坚持——它讲述的不是答案,而是‘为何这个问题值得被追问358年’。