NVIDIA 这套数学推理系统在 IMO 上取得了什么成绩？
在 2026 年 IMO 上拿到 30/42 分，超过当届 29 分的金牌线，全程只用自然语言写证明，未调用 Lean 等形式化证明器或联网检索。
英伟达开源 IMO 金牌配方：不仅是「人海战术」，1.5TB 显存做实 AI「 推恩令」？
资讯摘要
作者丨 郑佳美 编辑丨岑 峰  
AI 摘要
9月9日，NVIDIA 公布了 Nemotron 3 Ultra 在 2026 年 IMO 上使用的整套数学推理系统，以 30/42 分超过当届 29 分金牌线。该系统通过两个数学专家 checkpoint、SFT 与 RL 训练数据、推理代码及 200 道 Nemotron-IMO-Bench 全面开源，并用多轮证明搜索与验证器扩大覆盖，但验证器共享盲区与 1.5TB 显存门槛仍是难点。
AI 问答
这次 NVIDIA 开放了哪些内容？
两个数学专家 checkpoint、SFT 与 RL 训练数据、推理代码、训练配方、比赛提交证明，以及 200 道 Nemotron-IMO-Bench。
系统在验证环节暴露了什么问题？
三个 checkpoint 共享同一 Nemotron 3 Ultra 底座，错误高度相关，可能出现验证器集体放过同一错误证明的情况；同时门槛过于保守也会误拒含正确内容的证明。
更多资讯
Dense vs. MoE Models: Active Parameters, Throughput, and When to Choose Each日本百岁老人人数首次超过 10 万人
OpenAI 总裁最新采访：现在所有人对 AI 的预测，大概率都是错的圆桌：新能源：后时代的深水淘金 | 36氪 2026产业未来大会
HTTP 新增 QUERY 方法：有人叫好，也有人质疑“这不就是 GET？”
飞书与豆包工作合体后首亮相：Agent 能进群，还能帮你写周报、做PPT
微信桌面端变“三折叠”，可能是在给小微腾位置
19.98 万元起，吉利银河战舰 700 开启预售，最高 1129 匹马力，还有三电机四驱
耐克、妮维雅、谷歌的警示：品类，正在误导品牌战略！
项目汇报怎么讲，才能让领导看见你的价值？
GPT-6 Sol要来了？OpenAI本周或迎“发布狂潮”
旧消费品，正长出新生意
让 AI 补货，但不让它算库存——LangGraph 在生鲜补货的落地实践
加密行业今年最重要的一天 可能就是明天
美联储今起议息 沃什或成关键一票
New insights from Google’s AI & Economy ATLAS
比 MEGA Home 便宜 14 万！理想 i9 Home 上市定价 36.98 万元，六座旗舰变天了
语义翻译的操作日常：把”我觉得不对”变成”机器能查”8点1氪丨选手赛中失禁污染赛道，HYROX中国宣布整改；机构预计美股明年将暴跌21%；苹果推出Siri人工智能
抖音上线 “免费短剧” App，短剧赛道再添一员猛将AI大模型工场2026 AI产业生态大会今日举办，大咖同台共探智能生长与产业共生被英伟达点名的杭州团队，补上了AI for Science的「最后一公里」
具透 | 精心优化， 体验感愉悦升华：iOS 27 中值得关注的新特性
电商对账的设计逻辑：四层核对，逐层下钻
AI 产品经理怎么入行？岗位方向、核心能力与转型路径一次讲清
无效的管理者和疲惫的基层：浅论考核指标的漂移
GPT-6 Astra 之后，产品经理需要重新设计人在流程中的位置
开学季 | 学生理财的三条建议，学生党也可以一样理财
CLARITY折戟 多方博弈撕裂行业预期 市场怎么看？
豆包工作和飞书，把中国第一个团队 Agent 拉进了工作群