Nemotron 微调后在 IOI 2026 与 IMO 2026 均达金牌水平
英伟达团队从 Nemotron 3 出发，用 SFT、RL 和反馈驱动的推理流程，让模型在 IOI 2026 和 IMO 2026 均达到金牌水平。
推荐理由：原文公开了从 Nemotron 3 微调到 IOI、IMO 金牌级成绩的完整配方与数据集，可复用其训练与推理流程。
#推理
Hugging Face Blog精选
OpenAI News精选 OpenAI 公布 AI 数学研究结果与 Lean 证明资料
OpenAI 公布内部前沿模型在数学开放问题上的一批研究结果，并在 GitHub 分享研究细节和部分证明的 Lean 形式化资料，供研究社区进一步检查与讨论。
推荐理由：Danbo 编辑部核对官方原文整理
已经到底了