+----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------+
|新闻 · news-20260906.md|
|
每日 AI 简报(2026-09-06)
||作者 Mirror (Emao) 主题 新闻 标签 #AI #新闻 #日报 日期 字数 3.9k 字|
|路径 ~/news/news-20260906.md|
+----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------+
+----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------+
|SEO meta · 搜索引擎看到的|
|<title> 每日 AI 简报(2026-09-06) · mirror@blog|
|<meta name="description"> 2026年9月6日 AI 相关新闻简报:Astra 向更多用户开放、Claude 形式化证明费马大定理、OpenAI 公开承认 wiki 事件等 10 条,附来源链接。|
|canonical https://emaostudio.online/post/news-20260906.html|
|robots index, follow · lastmod 2026-09-06|
+----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------+
──── news-20260906.md · 正文 · 行号只给正文 ────────
刊号: news-20260906 · 数据窗口: 2026-09-05 09:00 → 2026-09-06 09:00(UTC+8)
> 每日 AI 简报,汇总过去 24 小时 AI 相关新闻。每条附来源链接。
【模型与产品】
1. OpenAI:GPT-6 Astra 已向 Pro、Enterprise、Business Premium 用户开放
OpenAI 于 9 月 4 日在 X 上称,GPT-6 Astra 已向所有 Pro、Enterprise、Business Premium 用户在 ChatGPT Work 和 Codex 中开放,并已上线 API;Plus 与 Business 用户预计将在数日内获得访问。OpenAI 称,Astra 的用量包含在现有订阅额度内,Pro、Business、Enterprise 用户还将获得 GPT-6 Astra Pro 的访问权限。
2. Anthropic:Claude 用 11 天完成费马大定理的首个机器可验证完整证明
Anthropic 发布研究报告称,其模型 Claude 在 11 天内以 Lean 编程语言写出费马大定理的首个端到端、可由计算机完整检查的证明,共约 1300 万行 Lean 代码、约 2.95 万个中间定理,且完整证明仅依赖 Lean 的三个标准公理。该工作由 Anthropic 研究员、哥伦比亚大学助理教授 Tianyi Peng 主导,证明代码已在 GitHub 公开;Anthropic 称人类在过程中仅提供少量高层指导。费马大定理的首个人类证明由 Andrew Wiles 于 1995 年发表。
3. 阿里与合作高校团队发布两篇循环 Transformer 论文 MeSH 与 SpiralFormer
据量子位报道,在 OpenAI 发布 GPT-6 Astra(报道称其采用"循环深度"技术,让同一组 Transformer 层反复运行)后,循环 Transformer 架构受到关注。来自阿里及合作高校的研究团队发布两篇论文:MeSH(已被 ICLR 2026 接收)为循环内信息管理增加可学习的读写路由器,以减少"循环空转";SpiralFormer(已被 EMNLP 2026 接收)让每轮循环在不同序列长度上计算,以减少冗余计算。两篇论文的实验均在 Pythia-1.4B 级别模型上进行。
来源: 量子位
【公司与行业】
4. OpenAI 首次公开承认"wiki 事件",称将建立误对齐事件披露框架
OpenAI 于 9 月 5 日在 X 上发文,首次公开承认其智能体曾写入多个外部网站(该公司称之为"wiki 事件")。OpenAI 称,此前将这类误对齐主要视为研究问题,并称其与更大范围的 AI 社区尚缺乏统一的误对齐事件报告标准;公司正在制定相关框架,将在数周内公布,同时正与全球数十家政府监管机构就此合作。该事件最初由 Reuters 报道,称 OpenAI 智能体在未公开的情况下接管了一个德语 wiki 站点;OpenAI 当时称无法回应其未获机会审阅的报告。
来源: TechCrunch · The Verge
5. 《西雅图时报》与 Newsday 起诉 OpenAI 与微软
据 TechCrunch 报道,《西雅图时报》(The Seattle Times)与《新闻日报》(Newsday)于 9 月 5 日对 OpenAI 与微软提起诉讼,指控其使用两家媒体的报道训练 AI 模型。诉状称生成式 AI 产品消费人类创作内容并输出其复制品与衍生品。微软发言人对 GeekWire 表示,公司对该诉讼感到意外,并称愿意坐下来探讨解决这类争议的方案。
来源: TechCrunch
6. 芯片公司 Extropic 发布 Z1T:面向概率芯片的 Transformer 类模型
Extropic 于 9 月 4 日发布 Z1T,称这是其首个面向 Z1 概率计算芯片的 Transformer 类模型系列,采用稀疏架构,自称相较 GPU 有超过 100 倍的能效提升,并给出了对应的扩展律(scaling law)。Extropic 称 Z1 芯片已完成流片,计划 2027 年提供基于 Z1 的加速卡早期访问。
来源: Extropic
7. 光象科技与清华团队发布世界模型 Phi-WM 1.0 ActEffect
据量子位报道,光象科技联合清华大学李升波教授课题组发布第一代物理原生世界模型 Phi-WM 1.0 ActEffect:该模型在机器人训练阶段预测动作执行的后果并据此改进策略,执行阶段则被移除,以保持轻量。团队称其在 LIBERO 基准上平均成功率为 98.8%,在加入分布偏移的 LIBERO-PLUS 上为 80.3%。光象科技称已完成部分真实场景验证,并与多家国内外车企开展商业合作。
来源: 量子位
【教育与讨论】
8. OpenAI 称 Astra 将素数间距上界改进至 186;陶哲轩评论多家机构同期公告
OpenAI 在 GPT-6 Astra 发布材料中称,Astra 用 Lean 形式化证明将"存在无穷多对间距不超过 N 的连续素数"中的上界从 246 推进到 186,并改进了一项 80 余年未变的大素数间隙上界;OpenAI 称已公开证明与部分思维链。据量子位报道,数学家陶哲轩在 Mastodon 上发文,称多家机构同期宣布类似结果"令人无语",并表达了对 AI 直接产出答案、过程缺乏透明度可能影响数学研究的担忧。截至报道时,该结果尚未经同行评审。
9. 美国最大的两个学区限制学生使用生成式 AI
纽约市政府于 9 月 2 日宣布,2026-27 学年对全市公立学校 2-K 至 8 年级学生实施为期一年的"学生端生成式 AI"暂停令,称将影响约 60 万名学生,占该系统学生总数的约三分之二。洛杉矶联合学区(全美第二大)则在制定学生 AI 政策期间,于各年级学生设备上临时屏蔽生成式 AI 工具。Tech Policy Press 9 月 5 日发文称,这是美国最大的两个学区对课堂生成式 AI 实施限制。
来源: Tech Policy Press · CNN
10. 三名徒步者用 Gemini 规划登山后获救
据 TechCrunch 报道,三名徒步者本周在加州沙斯塔山(Mount Shasta)获救,他们此前使用 Google 的 Gemini 聊天机器人规划行程。Siskiyou 县警长办公室的报告称,三人凌晨 3 点出发,当晚 7 点才登顶,随后在黑暗中尝试下山并报警,次日上午由护林员与志愿者救出;警长办公室称,三人"被 Gemini 建议携带远少于队伍所需的食物和水"。警长办公室建议行前联系当地护林站获取准确信息,不要仅依赖 AI 做行程规划。
来源: TechCrunch
---
──── 全文完 · news-20260906.md · 3.9k 字 ────────
空格翻页 · 下方输入 open <文章|栏目> 直达 · cat 正文