陶哲轩称AI或首次让数学研究分工化
The Decoder··作者 Matthias Bastian
关键信息
陶哲轩警告说，如果AI只能生成策略却不能验证结果，就会带来大量未经检验的想法，而不是有效进展。 他认为，一个领域能安全使用多大程度的自动化，取决于它的验证机制有多严格。
资讯摘要
陶哲轩认为，AI可能从根本上改变数学研究，因为它有机会在数学领域首次带来真正的分工。 在他看来，过去的数学家通常必须独自完成所有环节：提出问题、制定策略、执行证明、检查正确性，以及撰写结果。 他指出，这与工业和自然科学不同，在那些领域里，专业分工早已是常态。 陶哲轩认为，AI和形式化验证可以在协作中补上不同的能力缺口，让人类和机器各自承担擅长的部分。
但他也强调，这种模式只有在多个阶段同时实现自动化时才可行，而不是只会生成想法。 如果AI能够提出策略，却无法可靠地验证，那么结果就会变成大量未经检验的内容。 他还指出，人类仍然不可或缺，因为AI的表现并不稳定，不能在所有任务上都被同等信任。 文章将这一趋势描述为走向“工业化数学”，即由更大规模的AI辅助团队开展更广泛但可能更浅层的研究，而不是由单个研究者长期攻克一个问题。
资讯正文
泰伦斯·陶认为，AI 可能会让数学史上第一次出现分工协作。
数学家泰伦斯·陶解释了，AI 如何通过实现分工来重塑数学研究。直到现在，数学家们都必须亲力亲为：提出问题、制定策略、执行方案、验证结果，并将其撰写成文。陶指出，不同于工业界或自然科学，数学领域从来没有“专业化分工”这一选项。
陶说，AI 和形式化验证可以通过弥补合作中的技能缺口来改变这一点。但如果 AI 生成了策略却不去验证，那么结果就会是未经测试的想法泛滥。只有当自动化在多个领域同步推进时，一种新的数学工作方式才会真正奏效。陶认为，人类仍然至关重要，因为 AI 的表现并不稳定——而这一原则很可能也适用于许多其他领域。
在它变成一堆垃圾之前，你能够有利润地使用的自动化和 AI 能力水平，大致上与你的验证有多严格成正比。
泰伦斯·陶
看起来，这个领域正朝着陶所设想的“工业化数学”方向发展：与其让单个研究者一连几年埋头苦干，不如由规模更大、由 AI 支持的团队去推进更广泛但更浅层的研究。AI 负责处理数十亿个数据点，而人类则根据少数观察作出“灵感式猜测”。
来源与参考
收录于 2026-05-31