AI 解决了数百个数学难题？数学界陷入震惊的原因

想象一下。数十年来，甚至几个世纪以来，全球数学家们绞尽脑汁也无法解决的难题。而某天早晨，人工智能（AI）突然“抛出”了 700 多篇包含这些问题答案的论文，你会是什么感觉？这是值得庆祝的事情，还是令人恐惧？

最近，数学界正围绕这个问题闹得沸沸扬扬。 10 月 6 日，OpenAI 公开了其内部 AI 模型生成的海量数学成果。 参考资料 7, 参考资料 12 对此，学术界同时爆发出了“令人窒息的惊叹（Breathtaking）”和“破坏性的（Devastating）”担忧。 参考资料 2, 参考资料 4

为什么这一事件动摇了数学界的根基？

数学一直被认为是人类智慧中最纯粹、最稳固的领域。然而现在，AI 已经正式投身于这一圣域，开始处理数学证明和难题求解。这不仅仅是计算器处理复杂数字的问题，这意味着 AI 正在自主创造作为数学基础的“新发现”。

对于普通人来说，AI 似乎只是一个帮他们做高难度作业的便捷工具，但从学术角度来看，这会带来巨大的震动。关于人类该如何验证 AI 生成的证明，以及如果 AI 抢先占据了研究的核心，人类数学家的角色究竟在哪里，这些根本性的问题正不断涌现。 参考资料 4

换句话说：如果建立了一个“数学工厂”？

换个比喻，让我们更容易理解。如果说至今为止的数学研究是一针一线、工匠制作陶器的艰苦过程，那么 OpenAI 的此次公开就等同于建设了一个巨大的“自动化工厂”。 参考资料 9

Transformer（一种能够通过分析句子中单词之间的关系来理解上下文的 AI 结构）等高级学习模型在学习了海量数据后，无需人类干预，就能自主发现逻辑联系，倾倒出数百个证明。这 722 篇论文被分类为约 372 个“结果家族（result families）”进行了公开。 参考资料 9, 参考资料 12 AI 不仅仅解决了一个问题，而是在自主生产整个庞大的数学知识体系。

但这里产生了一个大问题。要确认工厂生产的产品是真正的精品，还是仅仅表面光鲜的赝品，需要消耗巨大的时间和人力来验证。专家们深感担忧：验证这海量成果是否真的可行？人类是否会在这一过程中漏掉必不可少的真正重要的数学洞察力？ 参考资料 4, 参考资料 12

数学界的现状：立场碰撞

目前，学术界的反应截然不同。

一些数学家对 AI 带来的海量数据洪流感到困惑。著名数学家陶哲轩（Terence Tao）尖锐地指出，OpenAI 这种同时倾倒数百个证明的方式绝非负责任的态度。他批评这种将数量凌驾于研究质量之上的行为，认为这种方式可能会使数学这一学科变得“不那么肥沃（less fertile）”。 参考资料 12

甚至出现了强硬的团体。“人类数学协会（Association of Human Mathematics）”发表声明，强烈敦促其成员数学家不要与 OpenAI 合作。这是对 OpenAI 利用未公开的前沿模型（frontier model，指通用性强且性能卓越的大规模 AI 模型）单方面解决并发布数百个数学难题的强烈反弹。 参考资料 6

另一方面，OpenAI 则对其角色进行了限定。他们表示，评估这些 AI 生成的成果究竟有什么意义、学术价值有多高，现在是“更广泛的群体（broader community）”需要去完成的任务。 参考资料 4

未来将展现什么样的前景？

现在，全球数学家们正忙于处理 OpenAI 公开的数万页资料。 参考资料 4 在一段时间内，验证 AI 提出的证明是否具有逻辑有效性，以及这些海量成果中是否蕴含了人类尚未察觉的崭新且惊人的数学思想，将成为后续工作的重心。

这一事件就如同预告片，预示着未来 AI 将以何种方式介入人类的科学技术发展。在一个 AI 压倒人类知识生产速度的时代，我们该如何接受这些成果，并守护学术的真理性，这一课题已经摆在了我们面前。

MindTickleBytes AI 记者视点

AI 的发展是会辅助人类的创造力，还是会取代它，一直是长期的争论焦点。但这一事件清楚地表明，技术不仅停留于工具层面，更深入介入了学术的本质。现在，我们社会的疑问不应再是“AI 能否做到？”，而应转向“人类该如何控制并利用 AI 倾倒出的知识？”。

参考资料

1. OpenAI 声称其人工智能模型解决了重大的数学问题… - Google News
2. 数学家对 OpenAI 发布 AI 生成的预印本做出反应 - Time News

3. [数百篇新的 AI 研究…

   Neyromax

   VK](https://m.vk.ru/wall-222076457_30372)

4. OpenAI 在踏入数学界后收到褒贬不一的反应 - LinkedIn
5. OpenAI 发布数学研究结果引发担忧 - The Guardian
6. OpenAI 在千年难题后发布 722 篇 AI 生成的数学论文… - Yahoo Tech
7. 陶哲轩暗示 OpenAI 表现不负责任：同时发布 300 个数学证明使数学变得“不那么肥沃” - OfficeChai