为何 CoT 下数学超过 AlphaProof：语义搜索对撞简单转移函数
akbirthko · x · 2026-10-16
akbirthko 在讨论中对比了国际象棋与数学两种搜索机制：国际象棋的转移函数简单，可以写 Alpha-Beta 剪枝做穷尽搜索；而数学是相反的搜索场景——转移高度语义化、状态空间远大且复杂，因此 CoT（链式思考）反而比 AlphaProof 式搜索做得更好，如今这类模型已经开始解决重大猜想。
所属事件:实测 200 局国际象棋：模型上下文学习效果存疑(2 条相关)→
「研究」频道最新
- 上海 AI Lab 提出 SERO：用可执行 Oracle 续跑训练长程智能体强化学习 — Shanghai-AI-Laboratory · 2026-10-16
- 清华联手高德发布 OmniVerifier-C1：把二元验证器升级为细粒度打分 — Bowei Liu · 2026-10-16
- 阿里开源 MAI-Gym：移动与桌面 GUI Agent 评测加强化学习训练一体化平台 — Tongyi-MAI · 2026-10-16
- 北大发布 SimForcing：把仿真运动先验蒸馏进真实机器人世界模型 — PekingUniversity · 2026-10-16
- 港理工发布 CoWorld Reasoner：用视频世界模型驱动的智能体视觉推理框架 — ModalityDance · 2026-10-16
- 稀疏激活 rank-1 映射可解释性发现，被称让神经网络认知跃进五年 — gleech · 2026-10-16