AI情报2026年9月12日AI情报
文章
研究人员训练Nemotron 3 Ultra模型生成奥数自然语言证明
研究人员使用监督微调和强化学习，从 Nemotron 3 Ultra 训练了两个专家检查点，以生成奥林匹克数学的自然语言证明。由此得到的测试时计算流水线完全以自然语言运行，无需形式化证明器或外部工具。
Frontier 编辑部来源: arXiv
研究人员使用监督微调和强化学习，从 Nemotron 3 Ultra 训练了两个专家检查点，以生成奥林匹克数学的自然语言证明。由此得到的测试时计算流水线完全以自然语言运行，无需形式化证明器或外部工具。