AI 日报 · 2026-08-02

围绕 AI 发展方向的争论正在白热化：微软等 235 家机构签署公开信支持开放权重与蒸馏，Anthropic 则单独警告威权滥用与工业级蒸馏风险，另有 1324 名前员工呼吁有意控制自动化 AI 研发节奏。与此同时，OpenAI 宣称用未公开模型解决了十个多年无进展的数学问题，引发数学界「深蓝时刻」的震动。Greg Brockman 的观察则提醒我们，技术之外，人们仍看重人与人直接协作的体验。

衍生 & 周边（产品 / Agent / Tools / 观点）

产品更新

⭐⭐ [产品更新] datasette-apps 0.2a0

Datasette 应用系统发布 0.2a0 版本，新增两个工具：app_debug() 允许 agent 在不可见的 iframe 中执行 JavaScript 对应用进行冒烟测试，app_list() 则让 agent 列出用户有权限编辑的应用列表。app_debug() 通过设置 opacity: 0 与 pointer-events: none 实现隐藏测试，并依赖 datasette-agent 0.4a0 的 context.browser_task() 机制。

观点

⭐⭐ [观点] Open letters about AI development

Simon Willison 汇总了三封近期关于 AI 发展的公开信。微软牵头的「Open Weights and American AI Leadership」支持开放权重模型与蒸馏技术，反对以安全为由进行限制，OpenAI 等 235 家机构签署，Anthropic 未参与。Anthropic 随后发布自身立场，强调威权政府滥用风险并要求打击工业级蒸馏。7 月 28 日 1324 名前 AI 公司员工签署「Pacing the Frontier」，呼吁美国牵头国际努力以有意控制自动化 AI 研发的前沿节奏，担忧竞争压力与 AI 自我加速。文章指出，从 Anthropic 用 Claude Code 生成 80% 代码、OpenAI 的 Sol 降低 20% 服务成本到 Kimi K3 自设计芯片等事实看，相关风险已变得切实。

⭐⭐ [观点] Quoting Greg Brockman

OpenAI 总裁 Greg Brockman 提到，很多人在 Slack 上连接自己的 ChatGPT，但当同事的 ChatGPT 代替本人来对接工作时，其他人会感到不满——尽管如果是由同事本人提出，他们乐意帮忙。这体现了人们重视人与人之间的关系，希望 AI 能腾出时间或加强人与人的互动，而不是成为人际间的隔层。

⭐⭐ [观点] Ten advances in mathematics and theoretical computer science

近日，Anthropic 和 OpenAI 先后展示 LLM 在数学与密码学上的前沿能力。OpenAI 宣称用未发布的下一代模型「Astra」解决了十个至少十年无进展的数学问题，每个问题计算成本不到 2000 美元，并公开了 Lean 4 形式化证明及相关论文。此事引发数学界的「深蓝」时刻，有学者发文描述「数学的暗夜」危机感。Simon Willison 认为目前透明度尚可但渴望看到提示词，并引用陶哲轩的观点，将这种人与 AI 分工的模式称为「大数学」。