跳到正文
今天10月23日周五1 条
  1. 钛媒体62

    陶哲轩与邓煜谈 AI 数学成果:批量证明不能替代理解与溯源

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

10月22日周四
  1. 虎嗅65

    2027年,不让通用模型控制机器人,不算前沿AI

    通用大模型正在从辅助专用具身模型转向直接控制机器人,文章据此判断2027年将成为前沿AI厂商争夺具身智能的关键时刻。文中援引的英伟达研究称,GPT-6 Astra直接生成机器人动作的成功率为66.3%,在Codex提供持续上下文与工具支持后升至74.8%,但仍面临推理延迟、token成本及高精度操作等限制。

  2. 虎嗅46

    HybridAgent 潜空间推理的 AI 安全账:当思考不再留下文本日志

    HybridAgent 将内部推理移入潜空间、工具调用与交付保留在文本中,使传统日志审计面临可观测性与责任追溯挑战。伪文本渲染是思考的投影,关键风险在于哪些内容被选择呈现,而非已证实文本无法承载潜思考。论文自测提速2.1倍,但仅验证至14B规模,尚无第三方复现,成本统计也排除了部分开销。

  3. MIT Technology Review · AI38

    AI 隐藏的存储账单:推理留下了什么

    AI 推理持续产生并积累后台数据,使存储成为企业基础设施预算中容易被低估的成本。WD 内部测量显示,一段用户收到的 3.97MB 视频会留下超过 500MB 的后台关联数据,包括日志、缓存上下文和备份。企业需要按数据生命周期规划分层存储,兼顾容量、检索性能与总拥有成本。

9月22日周二