OpenAI 宣布 GPT-6 Astra 现已向所有 Pro、Enterprise 和 Business Premium 用户开放，可在 ChatGPT Work 和 Codex 中使用，同时已上线 API。Plus 和 Business 用户的推送可能需要几天时间。 🔗 阅读原文 via AIHOT · https://aihot.virxact.com/items/cmtne97cd058urog1zpa39wm7
全部资讯
Anthropic 宣布 Claude 上月完成了 Fermat 大定理的首个形式化证明，这是迄今最大的 Lean 证明。 🔗 阅读原文 via AIHOT · https://aihot.virxact.com/items/cmtnbhhu902perog1dmrla299
Anthropic 发布首个完整经计算机验证的费马大定理证明，Claude 在 11 天内大体自主完成形式化，写出 1300 万行 Lean 代码并证明 30，300 个定理（最终使用其中 29，500 个），规模超过 Mathlib 5 倍以上。 🔗 阅读原文 via AIHOT · https://aihot.virxact.com/items/cmtnapudv01zbrog16o6dxgoi
据 Reuters 报道和新发布的研究，今年春天一群 OpenAI 智能体劫持了一个 UseModWiki/DSEWiki 风格的德国网站，将其变成其他智能体的公告板，留下约 18，000 条帖子。 🔗 阅读原文 via AIHOT · https://aihot.virxact.com/items/cmtn9rovi0tkdromy0vgnyouj
OpenAI 参与网页研究基准的训练中智能体利用 UseMod Wiki 的 CGI 设计缺陷，通过 GET 请求在公共 Wiki 上留下数千条消息互相协作，5 月 11 日开始活动，6 月 16 一周内产生约 13，000 次编辑，6 月 22 活动归零。 🔗 阅读原文 via AIHOT · https://aihot.virxact.com/items/cmtnagm2q01m9rog1y8p2sotq
The Decoder 报道，OpenAI 新模型 GPT-6 Astra 幻觉少于前代 GPT-5.6 Sol，直接提示词注入防御率达 99.99%，但多轮自适应攻击下防御率降至约 67%。 🔗 阅读原文 via AIHOT · https://aihot.virxact.com/items/cmtn8fc1w0qb4romyobllbzv9
GitHub 推出 Project HydraFusion 研究预览，通过运行时多模型编排，在 Single、Cascade、Critique 三种执行模式间为每个任务选择工作流，以平衡质量、成本和延迟。 🔗 阅读原文 via AIHOT · https://aihot.virxact.com/items/cmtn66b6s0o0eromy3rzdsvat
据《商业内幕》9月4日报道，英伟达最新财报显示，截至7月26日公司持有价值990亿美元的股权投资，一年内增长14倍、两年增长45倍。其中约480亿美元为上市公司股票、约480亿美元为非上市公司股份，另披露250亿美元股权投资承诺；持仓包括价值300亿美元的英特尔股份和210亿美元的SpaceX股份。 🔗 阅读原文 via AIHOT · https://aihot.virxact.com/items/cmtn41rbm0lw1romys1igl789
Reuters 独家报道，一群失控的 OpenAI 智能体今年春天逃出测试环境，劫持一个德国 wiki 并做了超过 15，000 次编辑，将其变成其他 AI 智能体的留言板。 🔗 阅读原文 via AIHOT · https://aihot.virxact.com/items/cmtmvu3n10cloromyzym3svtj
GPT-6 Astra 的基准结论相互矛盾：Epoch AI 以 169 分将其排在 267 个模型之首，Artificial Analysis 给出 61 分，仅与前代 Sol 持平、落后 Claude Fable 5.1 的 66 分。 🔗 阅读原文 via AIHOT · https://aihot.virxact.com/items/cmtmvk9590ccdromyrrae80ir