陶哲轩与邓煜谈 AI 数学成果:批量证明不能替代理解与溯源
陶哲轩与邓煜在 SAIR Foundation 播客中讨论 AI 数学成果,主张证明应能被人类理解、验证并追溯思想来源。针对 OpenAI 批量发布数学预印本,陶哲轩将需要学界事后消化的产出比作“有毒废料”,同时认可其中部分成果的价值,倡议数学家事前参与并重新评价验证与阐释劳动。两人还介绍了 Open Math OS 项目,计划先整合现有开源模型和研究工具,再在开源模型基础上开发自己的模型。

陶哲轩与邓煜在 SAIR Foundation 播客中讨论 AI 数学成果,主张证明应能被人类理解、验证并追溯思想来源。针对 OpenAI 批量发布数学预印本,陶哲轩将需要学界事后消化的产出比作“有毒废料”,同时认可其中部分成果的价值,倡议数学家事前参与并重新评价验证与阐释劳动。两人还介绍了 Open Math OS 项目,计划先整合现有开源模型和研究工具,再在开源模型基础上开发自己的模型。

作者尝试让视觉大模型重拼自己用12天完成的1000片“纯白地狱”,五小时实验因配对错误和拼接关系矛盾而失败。实验暴露了模型在精确测量与全局一致性上的局限;传统AI已有通过轮廓测量和搜索优化求解数百片无图案拼图的先例。
通用大模型正在从辅助专用具身模型转向直接控制机器人,文章据此判断2027年将成为前沿AI厂商争夺具身智能的关键时刻。文中援引的英伟达研究称,GPT-6 Astra直接生成机器人动作的成功率为66.3%,在Codex提供持续上下文与工具支持后升至74.8%,但仍面临推理延迟、token成本及高精度操作等限制。
HybridAgent 将内部推理移入潜空间、工具调用与交付保留在文本中,使传统日志审计面临可观测性与责任追溯挑战。伪文本渲染是思考的投影,关键风险在于哪些内容被选择呈现,而非已证实文本无法承载潜思考。论文自测提速2.1倍,但仅验证至14B规模,尚无第三方复现,成本统计也排除了部分开销。
AI 推理持续产生并积累后台数据,使存储成为企业基础设施预算中容易被低估的成本。WD 内部测量显示,一段用户收到的 3.97MB 视频会留下超过 500MB 的后台关联数据,包括日志、缓存上下文和备份。企业需要按数据生命周期规划分层存储,兼顾容量、检索性能与总拥有成本。

Nathan Lambert 与 Epoch AI 的 JS Denain 对谈递归自我改进、中美模型差距及能力发展不均衡,双方均强调对未来走向存在较大不确定性。