AI资讯
英伟达开源 IMO 金牌配方：不仅是「人海战术」，1.5TB 显存做实 AI「 推恩令」？
用三套 checkpoint 完成多轮证明搜索，用过程透明平息学术怒火，用 1.5TB 显存门槛锁定算力霸权。名为代码平权，实则算力集权。 作者丨 郑佳美 编辑丨岑 峰 9 月 9 日，NVIDIA 公布了 Nemotron 3 Ultra 在 2026 年 IMO 上使用的整套数学推理系统。 这套系统最终拿到 30/42 分，超过当届 29 分的金牌线。整个比赛过程中，模型只用自然语言写证明，没有调用 Lean 等形式化证明器，…
发布于 2026年9月18日 约 3 分钟阅读 更新于 2026年9月18日
<!-- ainav-news-source:dc507a68070090d5 -->
本页仅保留 雷峰网 AI 公开 RSS/Atom 订阅源中的标题和摘要，不抓取、不转载发布方全文。机器翻译可能存在遗漏或歧义，重要信息请以原文为准。
资讯摘要
用三套 checkpoint 完成多轮证明搜索，用过程透明平息学术怒火，用 1.5TB 显存门槛锁定算力霸权。名为代码平权，实则算力集权。 作者丨 郑佳美 编辑丨岑 峰 9 月 9 日，NVIDIA 公布了 Nemotron 3 Ultra 在 2026 年 IMO 上使用的整套数学推理系统。 这套系统最终拿到 30/42 分，超过当届 29 分的金牌线。整个比赛过程中，模型只用自然语言写证明，没有调用 Lean 等形式化证明器，…
原文来源
- 发布方：雷峰网 AI
- 原文标题：英伟达开源 IMO 金牌配方：不仅是「人海战术」，1.5TB 显存做实 AI「 推恩令」？
- 原文链接：查看 雷峰网 AI 发布的完整原文
- 内容范围：订阅源标题与摘要
摘要说明： 本页仅翻译公开订阅源中的标题和摘要，不转载发布方全文。机器翻译可能存在遗漏、歧义或专有名词偏差；请通过文中的原文链接核对完整信息。