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 底座，错误高度相关，可能出现验证器集体放过同一错误证明的情况；同时门槛过于保守也会误拒含正确内容的证明。
更多资讯
Python 拥抱 RISC-V：CPython 正式纳入 Tier 3 平台夜晚睡眠光照太亮可能会损伤心脏美团发布“手艺人Agent”，发型师可“吩咐”AI小帮手打理线上作品2nm天玑9600 Pro，把旗舰SoC竞争推向「融合计算」不止一颗CPU？智能体经济时代，Arm对算力平台有了新理解亚太唯一！腾讯云首次入选IDC MarketScape 全球托管边缘服务领导者类别
HYROX比赛腹泻这事，运动员拼归拼，但主办方不能装看不见基元律动与无问芯穹达成战略合作，推进高质量Token供给与应用
实测豆包新模型2.1-pro，这次审美和长时间Agent任务都追上第一档了企业案例分享：伊辛智能｜36氪2026产业未来大会
派早报：豆包发布手机助手消费者版，绿联发布首款雷电 5 显卡坞等科学家演示水下太阳能电池数亿元！前京东副总裁“消失”4年：不造会跑的天工，他在仓库里给人形机器人“占工位”
月之暗面：网传创始人及员工信息系恶意造谣；OpenAI 放弃今年上市；iPhone Duo炒到9万，黄牛贷款欲囤货｜AI周报
长期利率为何不愿下跌？36氪首发 | 国内头部硅电容IDM企业融资亿元，切入AI芯片与高端光模块
耐克和lululemon双双失速，运动品牌进入碎片化时代
企业该买模型还是养上下文？
旧消费品，正长出新生意
OpenAI 总裁最新采访：现在所有人对 AI 的预测，大概率都是错的一款在浏览器里运行、部署在自己服务器上的 SQL 客户端510万一张！携程上架太空旅行船票：已有681人购买，还得自己买保险；娃哈哈因拖欠员工公积金被查封办公楼；华为放权！问界将由赛力斯主导
语义翻译的操作日常：把”我觉得不对”变成”机器能查”
“极端”空头压境 美联储周三不加息就是最大意外
CoinEx宣布体面关停：值得肯定但不该神化
川普让步了 为何Clarity法案还遭到全体民主党人反对
百度做了一堆AI产品，却没有一个能代表百度？
贝森特回购落空与通胀重压 美联储加息或全面开启
展翼之后，三折叠再次进化：HUAWEI Mate XT 2 非凡大师深度体验评测
我的“一人公司”，是怎么搞钱的？