北京
一刻 talks ｜硬科技趋势
最近两个月，AI在数学领域做了三件事。
第一件，费马大定理。1995年，安德鲁·怀尔斯在阁楼里独自奋战七年，用一百多页纸、人类能理解的逻辑，终于证明了这个困扰了三个半世纪的命题。
2026年9月4日，Anthropic的Claude用约11天，生成了1300万行Lean代码，把怀尔斯1995年的证明翻译成机器可逐步检查的代码，完成了费马大定理首个端到端的形式化核验证明。
第二件，孪生素数。无数数学家推进了一百多年，试图缩小相邻素数之间的间隔。GPT-6 Astra将相邻素数间隔的上界从246推进到了186。
第三件，黎曼猜想。悬赏一百万美元，至今未解，但Claude将位于临界线上的零点比例下界从41.6%提升到了67.2%。
数学，人类智力的最后堡垒，正在被AI从形式化验证和指标渐进两个维度同时推进。AI用一种跟人类完全不同的方式，做到了人类花了几百年才做到的事，而且它根本不需要用人类的方式理解数学。
这件事跟你有什么关系？往下读，你有没有想过，你一辈子在学的东西、在积累的能力、在打磨的聪明，有一天被一个根本不需要聪明东西超越了，你的智力还值钱吗？
我们不替你解题，我们帮你看清楚，AI能替你算出所有答案，但替不了你在所有人都觉得没用的时候，还在坚持的那个为什么。
01
AI不是用人类的方式理解数学
是用另一种方法论撞开数学
人类数学家怎么做数学？庞加莱在散步时突然想到两个不相干的领域有隐秘关联。
怀尔斯在阁楼里，用七年时间，一步步搭建人类能理解的逻辑。数学家是立法者，他们可以自己发明规则，可以追问规则本身是否合理。
AI怎么做数学？它把数学问题拆成符号和逻辑规则，一条路走不通，编译器报错，立刻换另一条路穷举。
1300万行代码，不是人类式的理解，是机器式的穷举，不是灵光一现，是大力出奇迹。
人类用了358年，靠的是直觉。AI用了11天，靠的是同一件事重复做几千万次，直到撞开。
这就是最让人不安的地方。人类一直以为，数学是智力的最后一块高地，它需要直觉、需要灵感、需要灵光一现。
但这些，AI全不需要。它只需要足够多的计算，足够长的时间，足够大的耐心，而这三样东西，人类永远比不过机器。
数学的最后堡垒，不是被更聪明的大脑攻破的，是被完全不同的方法论撞开的。
02
陶哲轩说，这是百年新危机
菲尔兹奖得主陶哲轩一直在推动AI辅助数学。但今年，他在国际数学家大会上提了一个激进的想法，对某些数学问题，应该禁止AI自动求解器介入。
为什么？因为数学的价值不只是答案。
数学的价值是过程，是迷路、是排除错误、是发现岔路、是培养下一代数学家。
陶哲轩做过一个思想实验，假如AI早来20年，张益唐还在三明治店打工，因为没有人需要他用十年时间独自推导一个偏门问题，AI几天就算完了。
张益唐是华人世界顶级数学家，他证明了存在无穷多对间隙小于7000万的相邻素数对，在数学史上第一次实质性推进解决著名数论难题“孪生素数猜想”，并在与黎曼猜想有关的朗道-西格尔零点猜想上取得重要进展。
他的警告不是说AI不好，是说，当答案不再稀缺，稀缺的是为什么这条路值得走。
真正危险的不是机器学会了数学，是人忘了数学为什么需要那些弯路。
这不止是数学，这是你所在的每一个领域。AI能替你写论文、替你编程、替你解题，但AI不能告诉你为什么要做这件事。
那个为什么，那个让你在所有人都觉得没用的时候还在坚持的为什么，AI永远给不了。
那些弯路，那些失败，那些灵光一现之前漫长的黑暗，AI永远走不了。因为AI不需要意义。但你需要。
03
答案会过时，问题才是人类的护城河
这三件事，放在一起看，答案很清楚。
AI不是比你聪明，AI是让你重新想一个问题，当答案不再稀缺，什么才是稀缺的？
陶哲轩的答案是，提问。
数学的最后堡垒正在被拆，但堡垒从来不在那道题上，堡垒在你为什么要解那道题上。
怀尔斯在阁楼里独自待了七年，他有可能失败，事实上他差一点就失败了，1993年第一次公开宣布证明后，同行审查发现了一个关键漏洞，他又花了一年才修复。
但那个七年，比那个证明更重要，因为那个七年，定义了他是一个什么样的人。
*关注一刻 talks，我们不替你解题，我们帮你看清楚，AI能替你算出所有答案，但替不了你在所有人都觉得没用的时候，还在坚持的那个为什么，而那个为什么，才是你唯一不可替代的东西。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
