陶哲轩提出一个颠覆性的观点：AI可能让数学研究历史上第一次真正实现“劳动分工”。过去，数学家必须独自完成从设定问题、构建策略、执行验证到撰写论文的全部环节，这和产业界或自然科学领域的深度专业化截然不同。 但AI正在改变这一局面。陶哲轩认为，AI与形式化验证工具可以填补合作中的技能缺口，让不同专长的人与机器协同工作。然而危险同样明显——如果AI只负责生成策略却跳过验证环节，将导致未经检验的想法泛滥成灾。他说得直白：“自动化工具能用到什么程度而不变成一堆废料，大致和你验证的严格程度成正比。” 这指向一种未来图景：“工业数学”。不再是孤独的研究者耗费数年死磕一个问题，而是由大型人机混合团队开展更广泛、或许也更浅层的探索。AI横扫数十亿数据点，人类则从寥寥几次观测中做出“灵感式的猜测”。但这一模式真正运转的前提，是自动化在多个领域同时取得突破，否则整个流程就会断裂。 在陶哲轩看来，人类始终不可或缺，因为AI的表现极不均衡——一个极可能在数学之外众多领域也同样成立的法则。当验证跟不上生成的速度，数学不会迎来黄金时代，只会迎来一个充斥着半成品猜想的杂货铺。

打开网易新闻 查看精彩图片