“空白太小写不下”?358年后发现费马自己也没全搞懂。 2023年法国国家图书馆扫出来的信里,他连n=4都写得磕磕绊绊,更别提通杀所有指数。 怀尔斯那130页纸,其实把“椭圆曲线”和“模形式”强行牵了红线,工具顺手到2022年NIST抗量子加密直接拿来当底座——你的手机下一秒密钥可能就靠它。 更离谱的是,2021年一群程序员把怀尔斯整个证明塞进电脑,一行行形式化验证,堵死“人可能犯错”的漏洞;2023年DeepMind的AI还能在证明里秒找模式,当起数学小秘书。 牛津干脆把这门课搬上网,百万播放,弹幕里全是“原来天才也要写草稿”。 费马大定理活成了数学界的连续剧:正主没剧本,后人加更358年,现在AI续订下一季。
去国外真的可以逃避内卷吗?
【1评论】【1点赞】