陶哲轩再爆：一个月三破18年未解难题，AlphaEvolve彻底改写数学研究规则

导读： 陶哲轩最近再次引发数学界震动。这一次，他与Google DeepMind合作的全新AI系统AlphaEvolve，在短短一个月内攻克了三个困扰数学界长达18年的未解难题。这不仅让整个学术圈沸腾，也让人不禁思考：AI是否正在彻底改变人类探索数学真理的方式？

从博客到YouTube，陶哲轩的“跨界”之路

如果你以为这位华裔菲尔兹奖得主只是埋头于公式和定理之间，那你就错了。过去几个月里，陶哲轩不仅开通了自己的YouTube频道，还频频发布视频，展示他如何利用AI工具解决复杂的数学问题。

在一段视频中，他展示了如何借助AI仅用33分钟就完成了原本需要数页纸推导的证明过程。而在另一段视频中，他甚至让不同AI模型进行“对决”，看谁能在Lean（一种形式化验证语言）中更快完成代数蕴含的证明。

AlphaEvolve横空出世，挑战数学难题天花板

就在5月15日，Google DeepMind正式发布了全新的编程智能体——AlphaEvolve。这款系统不同于以往任何一款AI模型，它不仅能解决博士级别的数学题，更令人震惊的是，它已经能够攻克那些被称为“未解之谜”的顶级数学难题。

短短一个月内，AlphaEvolve就在陶哲轩的指导下，成功破解了三个长期悬而未决的数学猜想。这些问题曾让无数数学家望而却步，而现在，它们竟然被一个AI系统一一攻破。

“这简直就像数学界的《三体》。”一位匿名评论员这样形容这次突破。

数学研究的新范式：人机协作时代来临

AlphaEvolve的成功并非偶然。它的背后是一整套强大的推理机制，结合了大语言模型（LLM）与符号推理引擎。这种混合架构使得AI不仅能理解自然语言描述的数学问题，还能通过形式化验证来确保其答案的正确性。

更令人振奋的是，这种新方法已经在多个领域展现出惊人的效果。比如在代码生成、逻辑推理等任务中，AI的表现远超传统方法。实验表明，通过对同一问题生成多个答案并采用多数投票策略，准确率可以显著提升。

这也解释了为什么像陶哲轩这样的顶尖数学家会如此积极地拥抱AI技术。在他看来，AI不是替代人类智慧的对手，而是推动科学进步的强大助手。

算力决定未来？O3碾压O1，揭示AI发展的关键趋势

当然，这一切的背后离不开强大的计算资源支持。目前来看，训练算力与模型能力之间存在明显的正相关关系。以DeepMind推出的O3模型为例，它在多项测试中表现优异，尤其是在数学、编程等领域，展现出了比前代模型更强的能力。

有专家指出：“在某些特定任务上，只要投入足够的算力，AI的效果就能实现质的飞跃。”这一观点也在实际应用中得到了验证。

争议与反思：基础科学研究是否被边缘化？

尽管AI带来了前所未有的突破，但陶哲轩本人也对当前科研环境表达了担忧。他在一篇博客文章中直言不讳地批评美国国家科学基金会（NSF）计划削减基础科学经费的做法是“短视”的，并透露自己的部分研究项目甚至要依赖私人资助才能继续推进。

这让不少人开始重新审视基础研究的重要性。毕竟，没有扎实的基础理论支撑，再先进的AI也无法真正推动科学革命。

结语：数学的未来，属于人机共创的时代

陶哲轩与AlphaEvolve的合作，无疑为数学研究打开了一扇新的大门。在这个AI辅助的时代，我们或许即将见证更多奇迹的发生。

正如他自己所说：“这不是终点，而是起点。”