9月9日，英伟达研究团队公布了一套在2026年国际数学奥林匹克（IMO）上拿下30分（满分42分、金牌线29分）的AI数学推理系统，并把支撑这一成绩的整套技术栈全部开源——不只是“放出更强的模型”，而是公开从训练到推理的完整配方。
最特别的一点：全凭“脑子”推理
这套系统以英伟达的通用模型Nemotron 3 Ultra为基础，训练出两个数学专家版本，全程只用自然语言写证明——不使用Lean等形式化证明器，不调用外部工具，也不联网检索。你可以把它想象成一个参加奥赛的学生：不打草稿纸、不查资料，全凭脑内推理，还要自己检查自己的答案。
机制：生成→验证→改写，反复打磨
系统采用“测试时计算”的思路：三套模型（基础版+两个专家版）协作，为每个问题生成大量候选证明，再由验证模型打分、写评语，最多进行七轮修改，最后在单独的高算力阶段选出提交的答案。整场比赛六道题，系统共生成约7.07亿token、消耗约1464个GPU小时。
开源了什么
这次发布最难得的是“全透明”：两个数学专家checkpoint、SFT与RL训练数据、推理代码、训练配方、比赛提交的证明，以及一套200道全新奥赛级题目的基准Nemotron-IMO-Bench，全部公开可复现。就在两天后（9月11日），25位菲尔兹奖得主联合发声，批评AI数学成果发布太快、证明核查和复现跟不上——而英伟达选择把“底牌”亮出来，成为少有的可复现样本。
结语
AI在数学竞赛上拿金牌早已不是新闻，但“只用自然语言推理、还愿意全盘开源”确实罕见。它意味着大模型已经把“解题”和“检查”两件事都装进了自己的脑子里——这既是推理能力的跃升，也给数学界带来了关于“AI证明可信度”的新课题。
