NVIDIA 开源 Nemotron 3 Ultra 达 IMO 金牌水平,30/42 分并公开全套配方
mark_k · x · 2026-09-13
NVIDIA 发布新的开源系统 Nemotron 3 Ultra,在 2026 年国际数学奥林匹克(IMO)上拿到 30/42 的金牌线成绩:
- 仅用自然语言证明,不依赖形式化定理证明器、外部工具或联网。
- 三个专用 checkpoint 负责生成、验证、迭代修正候选证明,最后由一个高算力阶段选出最终答案。
- 更难得的是开源力度:两个专用 checkpoint、训练数据、训练与推理代码、提交的解答,外加一个包含 200 道奥赛级题目的新 benchmark 全部公开。
作者认为,金牌成绩本身 impressive,但把完整可复现配方全部放出更值得称道。
「模型」频道最新
- GPT 模型被指质量全线下滑，老派提示词技巧可先校准再下指令 — NickPassig · 2026-10-31
- 曝 Gemini 4 Carbon 实测:比 Opus 5.5 便宜 3 倍、快一倍以上 — vitaliychiley · 2026-10-31
- 4B 小模型 Spark-X2.6 跑出 94.6 分,反超多个 27B-35B 热门模型 — mesolimbic-bliss · 2026-10-31
- opencode 晒账单:$100 就能用上 DeepSeek V4.1 Flash — intellectronica · 2026-10-31
- 开发者称发现 LLM 内核代码 600+ 漏洞,Claude 以安全为由拒答 — pmddomingos · 2026-10-31
- Signal65 实测:Snowflake CoCo 智能体完成工作流快 4.6 倍 — ryanshrout · 2026-10-31