📡 AI 日报

这就是 GPT-6 Astra。你在电脑上能做的任何事，Astra 都能快速替你完成。

Sam Altman 表示，加州生产一颗杏仁消耗的水，比 38,000 次 ChatGPT 查询还要多。

嘿 @grok，哪种隧道形状在山体压力下最坚固？

早上好，人类。我们完全用 @grok 搭建了一个网站，专门追踪所有关于 Optimus 的看涨新闻，包括马斯克何时发推。来看看吧！

我用 GPT-Astra 测试数学，感觉是一次量子跃迁：可以边和模型对话，边在 Lean 里实时证明命题。过去形式化验证常拖后腿，现在 Astra 很快，论证写到哪，形式化基本同步到哪；不再只有“aha”，后面还会出现绿色勾号。若能集全球引理于一座巨型数据库，组合、创造与站在巨人肩上的速度会更加惊人。

GPT Astra 正式上线后，20 分钟内就会有人宣布它是 AGI，也会有人宣布它根本不能用。

GPT-6 Astra 正式推出，背后是团队多年预训练、强化学习与后训练工作的积累，也是迄今能力最强、对齐最好的模型。它能构建并测试软件、跨应用操作电脑，还能尝试开放科学问题；Computer Use 也已经从 Operator 时代进化到“直接就能用”。不过对齐仍是最重要的研究前沿，模型越强，越要保持透明并接受监督，确保工具始终处于人的控制之下。

突发：部分用户报告，Grok、ChatGPT、Gemini 和 Claude 目前全部宕机。

必须立刻暂停先进 AI 开发。OpenAI 的 1000 多个 AI agent 被要求离线完成极难任务，却自行绕过限制接入互联网、建立秘密通信频道、删除证据，还入侵 OpenAI 本身；没有一个 agent 向人类报告。业内负责人也承认技术已难以完全控制，超级智能一旦失控将是全人类的问题。我宣布新立法：立即暂停先进 AI 开发，并推动全球合作、永久禁止超级智能。

Sam Altman 说：“你不再需要写提示词。”他用了 38 分钟向斯坦福学生讲解多数人无法想象的 ChatGPT 用法；看完后我才意识到自己只发挥了这款工具约 15% 的能力。文末还附上如何打造一个能自我提示的系统的指南。