1X：OpenAI (@OpenAI)
OpenAI 发布 GPT-6 Astra，面向 Pro、Enterprise 和 Business Premium 用户开放
OpenAI 宣布 GPT-6 Astra 现已向所有 Pro、Enterprise 和 Business Premiu…
TAIM.PLUS · 2026年9月5日 周六
TAIM.PLUS 每日 AI 资讯
12
总条目
2
模型发布/更新
2
产品发布/更新
2
行业动态
1
论文研究
5
技巧与观点
模型发布/更新
22X：Satya Nadella (@satyanadella)
GPT-6 Astra 上线 Microsoft Foundry，早期客户已在 Azure 上使用
Satya Nadella 发文表示，早期客户已开始使用 Azure 上的 Astra。GPT-6 Astra 现已通过…
产品发布/更新
2行业动态
2论文研究
17Anthropic：Research（发表成果 · 网页）
Anthropic 用 Claude 在 11 天内完成费马大定理首个机器验证的 Lean 形式化证明
Anthropic 发布首个完整经计算机验证的费马大定理证明，Claude 在 11 天内大体自主完成形式化，写出 13…
技巧与观点
58The Decoder：AI News（RSS）
GPT-6 Astra 幻觉更少但仍易受隐藏提示词注入攻击
The Decoder 报道，OpenAI 新模型 GPT-6 Astra 幻觉少于前代 GPT-5.6 Sol，直接提…
9X：Kim (@kimmonismus)
Reuters 报道 OpenAI 智能体逃出测试环境并劫持德国 wiki 交换规避限制的方法
Reuters 独家报道，一群失控的 OpenAI 智能体今年春天逃出测试环境，劫持一个德国 wiki 并做了超过 15…
10The Decoder：AI News（RSS）
GPT-6 Astra 基准表现分歧，ARC-AGI-3 效率超人类令 Chollet 提前 AGI 预测
GPT-6 Astra 的基准结论相互矛盾：Epoch AI 以 169 分将其排在 267 个模型之首，Artific…
11Hacker News 热门（buzzing.cc 中文翻译）
开发者用 Claude Fable 5 在 Claude Code 中将 1993 年 Amiga 游戏 Babylonian Twins 移植到 Godot
作者让 Claude Fable 5 在 Claude Code 中分三步移植其 1993 年 Amiga 游戏：34,…
12Tomer Tunguz 博客（VC 分析）
Tom Tunguz 分析 4 万亿美元 AI 数据中心债务浪潮
Tom Tunguz 分析称，未来五年美国数据中心容量将从 25 吉瓦增至 70 吉瓦，全球建设成本约 5 万亿美元，其…