英伟达开源IMO金牌配方，1.5TB显存助力数学推理突破

在人工智能领域，英伟达再次成为焦点。9月9日，该公司宣布其Nemotron 3 Ultra模型在2026年国际数学奥林匹克（IMO）竞赛中取得了30分的优异成绩，超过金牌线29分。更引人注目的是，英伟达不仅公布了这一成绩，还完整开源了支撑这一成就的技术体系，包括训练数据、推理代码以及两个专门用于数学推理的专家级checkpoint。

"这不仅仅是一个数学模型的胜利，"一位不愿具名的行业分析师表示，"这是英伟达展示其在AI硬件与软件协同创新方面能力的重要一步。"通过使用总计1.5TB显存的计算资源，Nemotron 3 Ultra能够在不依赖外部工具或联网的情况下，完全以自然语言生成并验证数学证明。

具体来看，这套系统由三个核心部分组成：首先是Nemotron 3 Ultra的基础模型，其次是经过监督微调和强化学习训练的两个专家级checkpoint，最后是基于这些模型构建的迭代式测试时推理管道。这个管道能够自动生成、验证并优化数学证明，最终提交给IMO评审。值得注意的是，整个过程完全在自然语言环境中进行，没有使用任何形式化的证明器或外部工具。

"我们希望通过开源这种方式，推动AI数学推理领域的进一步发展，"英伟达首席科学家Ivan Moshkov说，"但这也引发了关于算力资源分配公平性的讨论。"一些学术界人士认为，如此大规模的计算资源投入实际上形成了新的技术壁垒，"名为代码平权，实则算力集权"。

然而，英伟达并未停止脚步。就在发布IMO成绩的两天后，9月11日，陶哲轩、Peter Scholze等25位菲尔兹奖得主发表联合声明，批评当前AI数学成果发布的速度过快，而相应的证明检查和方法复现工作往往未能及时跟进。在这种背景下，英伟达的开源行为显得尤为不同寻常。

"我们意识到，随着AI技术的快速发展，学术界的复现和验证工作面临着越来越大的压力，"英伟达发言人表示，"因此我们决定将整个系统的实现细节都公开出来，以便研究人员能够更好地理解和复现我们的工作。"

从技术角度来看，Nemotron 3 Ultra的成功离不开其独特的训练策略。英伟达并没有简单地对基础模型进行多次采样，而是专门训练了两个行为模式不同的数学专家。其中一个checkpoint专注于生成完整的数学证明，另一个则侧重于对已有证明进行修改和优化。这种设计使得模型能够在面对复杂数学问题时，既能够生成全新的解决方案，又能够对现有思路进行改进。

"这种多阶段的训练方法非常关键，"一位参与该项目的研究人员解释道，"因为数学问题往往不是非黑即白的，很多情况下需要对已有解法进行微调才能得到最优答案。"此外，英伟达还利用强化学习来调整模型的生成分布，确保那些能够成功完成证明的路径获得更高的权重。

"这项工作展示了AI在解决复杂数学问题方面的巨大潜力，"清华大学计算机系教授张明远评论道，"但同时也提醒我们，在追求技术突破的同时，必须关注其对学术研究和社会公平的影响。"

尽管英伟达的开源行为获得了不少正面评价，但也引发了一些争议。有观点认为，如此大规模的计算资源投入实际上形成了新的技术壁垒，"名为代码平权，实则算力集权"。特别是在当前AI产业资本化趋势日益明显的背景下，这种做法可能进一步加剧头部企业的技术垄断。

"我们理解这些担忧，"英伟达发言人回应道，"但我们相信，通过开放共享的方式，可以促进整个行业的健康发展。同时，我们也愿意与学术界合作，共同探索更加公平和可持续的技术发展路径。"

展望未来，英伟达表示将继续深化其在AI数学推理领域的研究，并计划将这一技术应用于更多实际场景。"我们相信，数学推理只是AI能力的一个缩影，"Ivan Moshkov补充道，"随着技术的不断进步，AI将在更多领域展现出令人惊叹的能力。

与此同时，英伟达在资本市场上的动作也备受关注。9月13日，有消息称英伟达正与Anthropic就一笔高达100亿美元的IPO锚定投资进行深入谈判。这笔投资不仅体现了英伟达作为AI芯片供应商的角色升级，也标志着其从单纯的硬件销售向资本运作的转型。

"英伟达的这一系列动作，反映了AI产业正在经历的一场深刻变革，"一位资深科技投资人分析道，"从硬件到软件，再到资本运作，AI企业正在构建一个完整的生态系统。"