实体
Nemotron-IMO-Bench
Nemotron-IMO-Bench
PulseAugur coverage of Nemotron-IMO-Bench — every cluster mentioning Nemotron-IMO-Bench across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 2 条
-
英伟达开源IMO金牌AI数学推理系统 · 跟踪1个来源
英伟达已开源其在2026年国际数学奥林匹克竞赛（IMO）中获得金牌的完整数学推理系统。该系统名为Nemotron 3 Ultra，不仅取得了高分，还包含了模型检查点、训练数据、推理代码以及200个新问题的基准测试。此次发布值得关注的是，它提供了从训练到推理的整个流程，而不仅仅是一个更强的模型，这正值数学家们担忧AI生成的证明速度超过验证速度之际。
-
Nemotron 3 Ultra 在数学奥林匹克竞赛中取得金牌级表现
研究人员开发了一种新颖的方法来生成复杂的奥数竞赛问题的自然语言证明，并在2026年IMO竞赛中取得了金牌级表现。该系统基于经过后训练的Nemotron 3 Ultra检查点构建，无需依赖外部工具或形式化证明器即可迭代地改进候选证明。这个开放模型管道包括专门的检查点、训练数据和一个新的基准，展示了大型语言模型在高级数学推理方面的潜力。