873分登顶Hacker News、400+条热议——OpenAI的通用推理模型首次自主推翻离散几何核心猜想，125页推理链全程无人工干预。这不是AI辅助人类解题，而是AI独立完成了数学发现。

事件回顾

5月20日晚，OpenAI官方博客发布了一条震撼学术界的消息：其通用推理模型成功推翻了一个离散几何（discrete geometry）领域的核心猜想。这不是数学专用系统，而是一个通用大语言模型——它独自完成了从假设提出到证明构建的完整闭环。

关键细节令人瞩目：整个证明过程生成了125页的推理链（chain-of-thought），规模远超此前任何公开案例。与今年4月"业余人士用ChatGPT解决Erdős问题"的新闻不同，这次是模型自身能力的展现——没有人类引导、没有特殊工具链、没有专业工作流。

HN社区第一时间炸开。一位数学背景的用户评论："这不是辅助工具，这是研究伙伴。我花了三年时间研究相关领域，模型找到了我从未考虑过的方向。"

为什么这是AI能力的里程碑

这不是孤立的数学成就。它是AI推理能力从"辅助型"走向"发现型"的标志性事件。

第一，通用推理胜过专用系统。 此前AI在数学领域的突破多来自专业系统（如AlphaFold、AlphaGeometry），而本次使用的是通用模型。这意味着AI研究能力不再是"技能点"式的专精，而是泛化能力的自然延伸。

第二，125页推理链意味着新量级的思考深度。 当模型的"思维时长"以百页计，它触及的问题复杂度已经超出人类专注力的极限。这对科学研究范式的影响是结构性的——AI可以探索那些人类"想到了但算不完"的问题。

第三，能力边界正在急剧扩展。 从编程到写作，从数学到科学研究——通用推理模型的能力范围以月为单位扩大。AI创业者需要重新思考：你的产品提供的价值，AI自身的能力是否能在一个季度内覆盖？

关注你使用的模型API是否支持长推理链输出。如果你的产品依赖模型进行复杂分析，测试一下它在你领域内的"自主发现"能力——你可能会惊讶于它的上限。