OpenAI 悄悄解了十个数学难题，成本才2000美元？我有点慌
跟几个做 AI 产品的朋友聊了一圈，发现大家对这件事的看法其实很分裂。有的觉得 OpenAI 又在秀肌肉，有的觉得这不过是 PR 手段。但我盯着那串问题列表看了半天，后背有点发凉。 ## 十个难题，
跟几个做 AI 产品的朋友聊了一圈，发现大家对这件事的看法其实很分裂。有的觉得 OpenAI 又在秀肌肉，有的觉得这不过是 PR 手段。但我盯着那串问题列表看了半天，后背有点发凉。
01
十个难题，2000美元
先看数据。OpenAI 说 Astra 内部版解决了数学和理论计算机领域的十个老大难问题，总 token 成本约 2000 美元。按现在汇率，不到 1.4 万人民币。这什么概念？一个普通研究生一年的奖学金可能都不止这个数。
这十个问题，随便拎一个出来都是硬骨头。比如高维球体堆积，这玩意在通信和编码理论里是核心问题，之前最好的结果还是几十年前的。再比如康纳斯刚性猜想，这属于泛函分析的深水区，我上大学时听老师提过，说没个二十年搞不定。结果 Astra 一次性全给解了？
更关键的是，OpenAI 说这些证明都是 AI 生成的，人类只是帮忙写论文和做形式化验证。这等于说，AI 已经能独立做前沿数学研究了，而且成本低到发指。
我之前在算法岗踩过坑，知道数学证明有多难。当年为了优化一个排序算法，我导师带着我们吭哧吭哧写了三个月，最后就优化了 5% 的性能。现在 AI 用 2000 美元成本就干了十个这种级别的活，感觉我们那三个月白干了。
02
数字背后的门道
这 2000 美元不是随便报的。按 Sol API 费率算，意味着 Astra 生成这些证明大概消耗了几十亿 token。这数据本身说明两件事：
第一，Astra 的推理能力已经强到能自主探索数学问题了。这不是简单的模式匹配，而是真正的逻辑推理和创造性思维。要知道，数学证明是逻辑链条最严密的领域，AI 能在这里突破，说明它的推理能力已经接近甚至超过人类专家。
第二，成本降下来了。两年前，这种级别的推理可能要花几十万美元。现在 2000 美元，说明 token 成本在快速下降。这对整个行业是好事，但对靠数学吃饭的人是个坏消息。
我判断，未来三年内，AI 在数学研究上的能力会超过绝大多数人类数学家。这不是危言耸听，你看看这十个问题的难度就知道了。
03
跟同行比，谁强谁弱
说到竞争对手，谷歌 DeepMind 的 AlphaProof 和 AlphaGeometry 之前也搞过数学问题，但那些都是专门针对 IMO 级别的题目，跟这种十年未解的难题不在一个量级。
Meta 的 ESM 系列在蛋白质结构预测上很牛，但那是应用数学，跟纯数学研究不一样。
所以，在 AI 数学研究这个赛道上，OpenAI 这次是遥遥领先。但别高兴太早，谷歌和 Meta 肯定在跟进。我赌半年内至少有两家大厂会跟进做同样的事。
不过，OpenAI 也有软肋。他们用的是黑盒模型，人类无法完全理解 AI 的推理过程。这就像你请了个顶级数学家，但他不告诉你他的思路，只给你看结果。这在数学界是行不通的，因为数学讲究证明过程的可验证性。
OpenAI 自己也承认，人类研究员在 Lean 语言里做了形式化验证，但证明的生成过程依然是黑盒。这就给后续的审核和复现带来了麻烦。
04
跟你有什么关系
你可能觉得，数学难题离我太远了。但别急，这事的连锁反应会砸到你头上。
1后量子密码学：最近向量问题的突破，直接影响现在的加密体系。如果 AI 能破解这些加密算法，你网银里的钱可能就不安全了。
2通信编码：高维球体堆积的改进，可能让 5G/6G 网络更高效，你的手机网速会更快。
3科研范式：以后做数学研究，可能不是人想问题，而是 AI 出结果，人做验证。这会改变整个科研生态。
我举个例子。我朋友在量子计算公司上班，他们最近在搞量子纠错码，这跟球体堆积问题直接相关。以前他们用传统方法优化，效率很低。现在如果直接用 OpenAI 的成果，至少能省半年时间。
所以，这件事不是学术圈的自嗨，它会在未来几年渗透到各个行业。
05
我的担忧
说了这么多，我其实有点慌。不是因为 AI 太强，而是因为人类对 AI 的依赖会越来越深。OpenAI 说署名权应该反映 AI 的贡献，这没错，但以后会不会出现 AI 论文满天飞，人类只是挂名的情况？
我之前在科技媒体混了五年，见过太多技术被滥用的案例。AI 数学研究是个好事，但必须建立新的学术规范。比如，AI 生成的证明必须标注来源，人类验证的责任必须明确。
还有，2000 美元的成本意味着 AI 数学研究已经平民化。小团队甚至个人都能用 API 来做类似的研究。这会极大加速科学发现的速度，但也会让那些没有 AI 资源的传统数学家更加边缘化。
我判断，未来两年内，AI 会解决超过 100 个数学难题，而人类数学家会面临转型压力。这不是坏事，但需要提前准备。
总之，OpenAI 这波操作，看似是学术突破，实则是行业洗牌的开始。
本文基于 media 公开报道编译解读
本文基于 media 公开报道编译解读，查看原文