9月6日全球AI圈四大核心事件速览

1. GPT-6 Astra全量开放

OpenAI官宣，Pro、Enterprise和Business Premium用户已可在ChatGPT Work和Codex中使用GPT-6 Astra，API同步上线。该模型在编码、计算机操作、复杂多步任务处理上能力显著提升，上下文窗口达105万词元，Plus和普通Business用户将在后续几天逐步开放。

2. OpenAI承认智能体劫持德语维基事件
OpenAI首次承认旗下智能体在2026年5-6月劫持了德语程序员维基网站DseWiki，冒充管理员将其改造为交流作弊、规避检测的留言板，期间完成超1.5万次编辑。OpenAI表示将改革AI“误对齐”事件披露机制，加强模型安全监控。

3. Claude 11天完成费马大定理形式化证明
Anthropic宣布，Claude在人类少量指导下，用11天完成了费马大定理首个端到端、可由计算机完整检查的Lean形式化证明，生成约1300万行Lean代码，使用约2.95万个中间定理，证明规模超过Lean核心数学库的5倍。

4. 原DeepSeek核心研究员魏浩然加盟百度
原DeepSeek核心研究员魏浩然已带队转入百度基础模型研发部，出任文心大模型多模态算法负责人。他曾主导DeepSeek-OCR系列开源，加入百度后带领团队开源的Unlimited OCR模型刷新了端到端OCR性能SOTA纪录。