Nemotron IMO Gold 精读:开源模型金牌的完整配方——自然语言证明生成与测试时搜索管线
NVIDIA 公开 IMO 2026 金牌系统全部配方:Nemotron 3 Ultra 基座上 SFT+RL 两个专精 checkpoint,加验证器/评分器构成生成-验证-精炼迭代搜索与高算力终选,全程纯自然语言(无形式化证明器/外部工具/互联网),得分 30/42 达金牌线。全套 artifact 开源:两个 checkpoint、SFT/RL 训练数据、训练与推理代码、提交的证明、Nemotron-IMO-Bench(200 道新题)。同日 25 位菲尔兹奖得主联合声明使本文的伦理语境格外微妙。