数学人工智能 LLM-DailyDigest 2026-08-30 2026-08-30 约 100 字 预计阅读 1 分钟 数学人工智能 本主题由提交工具自动创建，可在此补充洞察与资料。 相关消息（按子主题自动聚合） 信用分配 2 MGE-PO：面向数学推理的熵感知信用分配 10-19 PEPO：基于邻近熵的 RLVR 词元级信用分配 10-01 可信推理 1 AGMAI呼吁负责任发布AI生成数学成果 10-01 在策略蒸馏 13 GR-OPD：面向在策略蒸馏的组相对序列信用分配 10-19 批评引导的在策略蒸馏恢复可靠监督 10-18 MetaOPD：元学习 Token 加权的在策略蒸馏 10-09 DIAL-OPD：用更少 Token 提升在策略蒸馏效果 10-09 重新思考跨分词器在策略蒸馏：从对齐覆盖率到监督可靠性 10-08 SAKI：最大耦合路由教师监督的在策略蒸馏 10-01 OPSRD：在策略自角色蒸馏 10-01 Neighborhood OPSD：邻域专家增强在策略自蒸馏 10-01 逐点裁剪反转纠正：在策略自蒸馏的失效机制 10-01 共享前缀的隐患：用于在策略蒸馏的轨迹丢弃 09-29 何时何处信任教师：熵校准信用分配统一在策略蒸馏与 GRPO 09-24 Cal-OPD：校准教师—学生差异的在策略蒸馏 09-21 特权信息对在策略自蒸馏的增益有多大？ 09-18 多智能体系统 2 OpenAI 万智能体并行计算挑战千禧年难题 09-18 Stellar Colosseum：面向数学与理论计算机科学长程研究的多智能体框架 09-15 形式化证明 23 数十个 AI Agent 24 天形式化有限单群分类定理 10-29 微软研究员借助 AI 证明 KLS 猜想 10-22 OpenAI纳维-斯托克斯证明路线遭重新解读 10-18 AlphaProof Nexus攻克9项埃尔德什问题并证明44项OEIS猜想 10-18 九章云极以可验证数学推理问鼎陶哲轩数学蒸馏挑战赛 10-18 AI批量攻克数学难题引发“数学末日”争议 10-10 报道称OpenAI用万名智能体攻关千禧年数学难题 10-10 LEVER：基于 AND/OR 图的自适应成本感知证明搜索 10-09 Claude被曝以Lean证明渗流理论连续相变猜想 10-08 10个Claude协作形式化证明汤姆逊问题N=7 10-01 ProofLoom：以证明义务驱动的随机优化理论自动形式化 09-30 AI辅助Lean完整形式化验证庞加莱猜想证明 09-29 报道称万名 AI 智能体用形式化证明攻克 Navier–Stokes 难题 09-25 GPT-6 Astra证明刘维尔–哥德巴赫猜想并经Lean 4验证 09-21 传 AI 巨头未公开数百项数学证明，真实性尚待确认 09-16 Aaronson称AI公司或暂未公开多项数学突破 09-16 OpenAI被曝逼近霍奇猜想，并与Anthropic竞逐BSD猜想 09-11 OpenAI称在第二道千禧年难题上取得实质性进展 09-11 Claude借助多智能体Harness完成费马大定理形式化证明 09-07 Claude 推进黎曼猜想零点界，获数学家重证与 Lean 验证 09-07 Claude多智能体形式化验证费马大定理 09-07 GPT-5.6提出大素数空隙新构造并通过Lean验证 09-07 AxQM：有限维量子力学形式化证明合成基准 09-07 思维链 1 SHAPE：解析数学推理中思维链的形态 09-02 扩散模型 1 扩散语言模型的表示空间 MMD 后训练 10-08 技术趋势分析 1 AI4Math 3万篇论文实证审计：AI正从润色走向证明构建 09-01 推理优化 2 构建逆向思维：提升大语言模型的反向推理能力 09-22 MIRAGE：强化学习引导的多视角创造性推理 09-21 推理评测 2 SCB：语音模型多轮数学推理评测基准 10-01 GPT-6 Astra补全FrontierMath Tier 4最后一道未解题 09-11 搜索能力评测 1 结构检索中的表层形式偏差：从数学题到智能体轨迹 09-02 数学推理 18 OpenAI公开三维与四维挂谷猜想证明手稿 10-10 数学家呼吁抵制 OpenAI 批量发布 AI 生成证明 10-09 Meta Muse Spark协助解决六项数学开放问题 10-08 未发布 Claude 推进黎曼猜想相关下界并支持形式化验证 10-08 机器学习计算链环的切片亏格与解结数 10-08 ChatGPT 用四轮提示推翻 30 年图论猜想 10-08 AI攻克百余数学难题后：数学评价转向人类理解 09-28 数学推理中答案顺序不变但内部表征顺序敏感 09-24 OpenAI内部模型被曝24天攻克百余道数学难题 09-22 GPT-6 Astra推动FrontierMath首个Major Advance 09-19 Voice of Reason：强化学习提升语音数学推理 09-17 GPT-6 Astra攻破FrontierMath Tier 4最后未解题 09-13 Nemotron 的 IMO 金牌开放配方：奥数证明训练与推理 09-13 OpenAI以千禧年难题测试万级Agent数学研究系统 09-11 GPT-6 Astra据称实现FrontierMath Tier 4满分 09-11 OpenAI被曝在霍奇猜想等数学难题上取得进展 09-11 LLM 数学推理中的知识结构是否连贯？基于知识空间理论的评估 09-07 共享回路预测 LLM 算术推理的跨格式泛化 09-07 数据策展 1 OpenAI Astra破解Gromov猜想引发训练数据来源争议 09-10 数据自演化 1 SynCo：多智能体强化学习驱动的数据合成协同训练 10-10 机制发现 1 Grokking 中的子空间结晶：秩压缩追踪相变 10-27 模型微调 1 Nemotron 3 微调系统达 IOI 与 IMO 2026 金牌水平 10-08 模型评测 1 Jev 专用决策模型与通用 LLM 的多任务基准对比 10-09 测试时优化 1 TTPO：测试时策略优化 08-28 测试时训练 1 TTPO：无标签测试时策略优化实现自进化 10-27 神经符号人工智能 1 从符号感知到逻辑演绎：语言模型几何推理框架 09-10 程序进化 2 PRS：面向自动启发式设计的多方向搜索 10-23 AlphaEvolve 将矩阵乘法指数上界降至 2.371177 09-01 答案验证 1 ClaimScope：标签盲见证验证的数学主张审计基准 10-18 策略优化 7 GIFT：梯度引导过滤的蒸馏增强推理强化学习 10-23 GGPO：面向可验证奖励离策略强化学习的策略优化 10-18 群组策略优化中的 KL 正则化失效与 ZCPO 10-09 ExpDis：解耦 RLVR 中的探索与优化 10-08 PACT：从信用分配到评论器对齐 09-23 Bellman Policy Optimization：无 Critic 的 RLVR 方法 09-15 GRPO 中隐藏的伪优势问题与 SIGNBALANCE 09-07 自动化科学研究 8 OpenAI 宣布 AI 模型取得三项科学理论突破 10-27 OpenAI 公开 722 篇 AI 生成数学手稿 10-08 OpenAI多智能体用88小时攻克百万美元数学悬赏题 10-08 OpenAI称AI一周推进十年数学进展，下一站瞄准生命科学 10-08 Bolzano：从专家引导证明搜索到自动求解开放问题 10-08 AI Has Taste：从数学反例搜索走向自主出题 09-30 OpenAI科学智能体突破促使生物学竞赛改制 09-28 陶哲轩警告黑箱AI解题或“污染”数学研究 09-07 自我改进 1 FlowBalance：基于验证器校准策略内经验的推理模型自我改进 09-09 自蒸馏 1 SAPD：步骤对齐特权蒸馏 10-08 自进化 1 R-Quest：以有效性与新颖性反馈维持推理模型自进化 10-09 蒸馏坍缩 1 一个症状、三个杠杆：在策自蒸馏批判性综述 08-27 评测基准 1 Endless Exam：面向超级智能的数学构造评测基准 09-22 评测审计 1 学习攻破智能体评判模型的错误注入策略 09-29 课程学习 1 IV-EWC 缓解数学推理课程学习中的灾难性遗忘 09-29 过程评测 1 从原子能力到智能体：可解释评测 LLM 数学智能体能力 08-29
