Nemotron 奥数金牌开源方案发布
原文标题：An Open Recipe for IMO Gold: Training Nemotron for Olympiad Mathematics
重要度 4/5 · AI 综合评估报道影响力与新鲜度，4–5 分为高价值资讯。
研究基于 Nemotron 3 Ultra 训练两个数学专家检查点，构建纯自然语言、无形式化证明器与外部工具的测试时计算流水线。该系统在 IMO 2026 取得 42 分中的 30 分，达到金牌线。团队开源了检查点、训练数据、代码、解答及 200 题新基准 Nemotron-IMO-Bench。
深读 · 结论先行AI 生成展开看要点与影响 ↓
Nemotron 3 Ultra纯自然语言流水线在IMO 2026得30/42分达金牌线，并开源全套资产。
- •基于Nemotron 3 Ultra训练两个数学专家检查点，采用监督微调与强化学习
- •系统完全使用自然语言，无形式化证明器、外部工具或联网
- •IMO 2026得分30/42，达到金牌线
- •开源两个后训练检查点、训练数据、训练与推理代码及提交解答
- •同时发布Nemotron-IMO-Bench，含200道新奥数级题目
为什么重要：无形式化证明器即达金牌线，说明测试时计算与后训练设计可部分替代形式化工具链；开源检查点与200题新基准为社区提供了可复现的奥数推理评测起点。
以上深读由 AI 依据标题/摘要/正文节选生成，仅供参考；事实以原文为准。
AI 处理过程展开/收起
相关推荐
谷歌 Gemini 4 Carbon 全面超越 Opus 5.5，首发 Token 半价
AI 摘要谷歌发布 Gemini 4 Carbon，宣称在多项能力上全面超越 Opus 5.5，并推出首发 Token 半价优惠。该模型可连续数日修复 Bug，且具备免疫提示词注入的安全特性，加剧头部大模型竞争。
谷歌发布 Gemini 4 Carbon，主打网络安全能力跃升
AI 摘要谷歌推出前沿模型 Gemini 4 Carbon，在编程、智能体任务和网络安全方面显著提升，登顶 Artificial Analysis 智能指数，领先 Claude Opus 5.5 与 GPT-6 Astra。该模型目前仅向部分网络安全防御公司开放，定价与 Argon 相同，为每百万输入 token 2 美元、输出 10 美元。
谷歌发布 Gemini 4，API 限时半价
AI 摘要谷歌正式发布 Gemini 4，被视为重回大模型第一梯队的关键动作，同时推出 API 限时半价优惠。该发布对模型竞争格局与开发者成本结构均有直接影响。
谷歌 Meta 发布前沿模型，AI 竞赛重启
AI 摘要谷歌发布 Gemini 4 Argon，Meta 推出新前沿模型，两家公司声称可与 OpenAI 和 Anthropic 的旗舰模型匹敌。谷歌以激进定价策略切入市场，入门期价格比竞争对手低至80%。AI 前沿竞争格局重新洗牌。