QUANTUM · AI · SCIENCE
每日快读，追溯证据；每周梳理技术与产品机会。
Dor Minzer与Yumou Fei、Shuo Wang在OpenAI公布AI生成证明前，抢先发布了对Khot“2-to-1游戏”猜想弱化版的“4-to-1游戏”证明。三人用95页论文证明了经典图着色问题的一项困难性结果；OpenAI随后公布包含Lean形式化验证的“2-to-1游戏”猜想证明及376项其他数学结果，但报道指出其手稿由AI生成，未经人工编辑或独立专家评审。
本站判断：文章对比人类研究者与OpenAI在“唯一游戏”相关猜想上的证明路径，呈现AI生成数学证明带来的研究竞争、验证与长期项目风险。
Nemotron 3 结合监督微调、强化学习和反馈式推理，在 IOI 2026 达到 535.4/600，在 IMO 2026 达到 30/42，均超过对应金牌线。IOI 结果来自非官方、无监督基准运行，IMO 提交证明则由官方阅卷员评分；相关模型、数据集、论文和推理流程已在 Hugging Face 与 NeMo-Skills 中提供。
本站判断：公开了两类奥赛专化模型、训练数据、评测与推理流程，便于比较微调、强化学习和测试时计算的组合效果。
OpenAI 公布内部前沿模型在数学开放问题上的新结果，并在 GitHub 分享 Lean 证明形式化与研究细节。当前材料仅为摘要，未说明具体问题、模型名称、结果范围或代码许可。
本站判断：原文公开了数学开放问题的模型结果、Lean证明形式化与研究细节，为评估相关推理方法及其形式化证据提供入口。
企业主题按主体汇集资料；量子与通用 AI 进展按具体任务区分。