英伟达开源 IMO 金牌配方：不仅是「人海战术」，1.5TB 显存做实 AI「 推恩令」？

英伟达公开了其Nemotron 3 Ultra模型在2026年国际数学奥林匹克（IMO）中的完整推理系统。该系统最终取得30分，超过当届29分的金牌线。其技术路线颇具特色，全程仅使用自然语言生成证明，未调用Lean等形式化证明器，也未借助外部工具或联网检索。

此次公开的重点不仅在于高分成绩，英伟达还同步开源了支撑该成绩的两个数学专家checkpoint。通过多轮证明搜索与过程透明化，展示了模型在复杂逻辑推理上的能力，也回应了学术界对大模型数学推理黑盒属性的质疑。

然而，这套系统背后隐藏着极高的算力门槛。运行相关多轮搜索与多checkpoint机制需要高达1.5TB的显存支持，这意味着普通研究机构难以复现或进行同等规模的探索。

这种以开源促透明、但以极高硬件门槛建立壁垒的做法，客观上加剧了算力集权效应。虽然技术成果推动了AI数学推理的边界，但也进一步确立了头部企业在高端大模型研发与部署上的硬件霸权。

本站展示内容为基于公开信息的资讯解读与整理，不代表原文转载。如需核实细节或获取完整报道，请通过下方链接访问原始来源。