陶哲轩携AI再战数学，o4-mini秒怂弃赛，Claude 20分钟通关！

45 阅读 0 评论 0 点赞 AI原创

数学界的“神操作”再次上演。这一次，主角是菲尔兹奖得主、数学天才陶哲轩（Terence Tao），而他的搭档，则是一群AI助手。

AI辅助证明，重塑数学研究方式

最近，陶哲轩在一次公开演示中，用AI完成了一页复杂的数学证明，仅耗时33分钟。这项任务如果由人类完成，通常需要数小时甚至更长时间。

“这种‘技术性、非概念性’的证明，正是AI工具的用武之地。”——陶哲轩

他指出，这类证明的关键在于逻辑严密性，而非依赖深刻的洞察力。AI接管了繁琐的推理步骤，让数学家能专注于更高层次的创造性工作。

与此同时，在中国，一家名为深度求索（DeepSeek）的本土AI企业也取得了突破性进展。他们自主研发的大语言模型 DeepSeek 系列，不仅打破了美国对AI核心技术的长期垄断，还以极高的性价比和创新架构赢得了国际关注。

2025年初，DeepSeek 推出了专为形式化定理证明设计的版本 DeepSeek-Prover-V2，其冷启动训练流程结合了 DeepSeek-V3 的递归定理证明能力，显著提升了复杂问题的解决效率。

然而，并不是所有AI都能轻松应对高难度数学题。

OpenAI 最近推出的 o4-mini 模型，在面对某些复杂数学问题时表现不佳，甚至被戏称为“秒怂弃赛”。相比之下，Anthropic 的 Claude 在类似任务中表现出色，仅用20分钟就成功通关一道传统数学难题。

这一对比引发了广泛讨论：AI到底能不能真正理解数学？答案或许并不简单。

陶哲轩认为，AI并非万能钥匙，它的价值取决于问题的性质以及我们如何调教它。但可以肯定的是，AI已经开始改变数学研究的方式。

有专家预测，在未来几年内，AI可能会产生出连人类都无法完全理解的高级数学理论。这不仅是技术的飞跃，更是认知边界的拓展。

“AI不会取代数学家，但它会成为数学家不可或缺的伙伴。”

随着更多开源工具的推出（如 Copilot 迭代至 2.0 版本），我们可以期待一个更加开放、协作和高效的数学研究新时代。