AI通过协作彻底改变数学研究

著名数学家陶哲轩通过与GPT-5 Pro合作取得突破，解决了一个困扰研究人员三年的微分几何问题。这一里程碑式的成就展示了AI改变数学研究的潜力，并为人类与AI的协作开辟了新的可能性。

挑战：一个复杂的几何问题

该问题涉及分析三维空间中光滑拓扑球体，其中主曲率的绝对值不超过1。研究人员试图确定这些曲面是否包围至少等于单位球体的体积。

尽管陶哲轩在多个数学领域做出了重大贡献，但微分几何并非他的主要专长。在初步尝试后，他意识到自己知识的不足并转向AI寻求帮助。

AI突破：几分钟内完成证明

陶哲轩向GPT-5 Pro提供了问题的总体方向。在短短11分钟内，AI完成了复杂计算并提供了完整的证明过程。这一惊人速度展示了：

• 快速计算能力
• 识别关键逻辑路径的能力
• 挑战人类直觉的能力

这次合作产生了多种证明方法，包括斯托克斯定理和威尔莫尔不等式等熟悉工具，以及第一闵可夫斯基积分公式等新颖概念。

人机协同：优势与局限

该项目揭示了关于协作数学的重要见解：

1. 小规模问题：AI擅长快速计算和推导
2. 中等规模策略：在没有人类监督的情况下可能强化错误的直觉
3. 大规模理解：提供有价值的见解但需要专家解释 陶哲轩强调，尽管AI提供了强大的工具，但人类数学家对于批判性思维和验证仍然不可或缺。

对未来研究的启示

这次合作不仅仅是解决一个问题——它确立了一种新的研究范式：

• 显著加速证明过程（从数月/数年缩短至几分钟）
• 让数学家能够专注于创造性思维而非计算
• 展示AI如何扩展而非取代人类能力 陶哲轩预测AI与数学更深层次的融合将带来更多突破。

关键点：

• GPT-5 Pro在11分钟内完成证明
• 合作揭示了数学AI的优势和局限性
• 尽管AI能力强大，人类监督仍至关重要
• 建立了结合人类洞察力与机器计算的新模型
• 有可能从根本上改变数学研究方法