一个月前，OpenAI宣称旗下模型解决了数学界最重要的难题之一；这一次，它直接放出了一整个“论文库”。北京时间10月7日清晨，OpenAI公开了722篇数学稿件，覆盖372个成果系列，声称在数百个长期悬而未决的数学和理论计算机问题上给出了解答或取得重大进展。
几个细节很关键。第一，许多结果已经用Lean（一种可以机器验证证明逻辑的编程语言）完成了验证，正确性基本可以保证。第二，这些成果来自一个尚未公开发布的内部模型，而且据OpenAI说，几乎每个结果都是给单个AI智能体一个提示就做出来的。相比之下，此前那次重大突破动用了上万个智能体协作，算力成本高达数百万美元。第三，OpenAI称平均每个成果消耗的算力，大约相当于三小时的高级版深度思考。
这意味着什么？如果属实，顶级的数学推理能力可能很快变得“人人可用”，科研的方式会被彻底改写。但质疑声同样很大。数学家需要几个月甚至更久才能消化这批成果，判断它们是真正的新思想，还是对已有技巧的组合；学界也在争论，AI公司如何署名、如何认可那些被模型“站在肩膀上”的人类数学家的贡献。
为此，一群顶尖数学家专门成立了独立顾问小组，协助对外解读和负责任地发布这些结果。
我的看法：对投资者来说，这类消息的意义不在于某道题被解开，而在于“推理能力”这条曲线还在陡峭上升。模型越会思考，对算力的需求越大，这也是为什么芯片和数据中心相关股票一直被资金追捧。当然，研究成果距离商业化还有很长的路，不必把每一次“突破”都直接等同于收入。
以上内容仅供参考，不构成投资建议。