1、刚刚，GPT-6 Astra全量开放！
OpenAI宣布GPT-6 Astra全量开放，Pro、Enterprise及Business Premium用户现已可在ChatGPT Work和Codex中使用，API同步上线，Plus和普通Business用户需再等数日。OpenAI工程师建议用户删除过时的AGENTS.md和Skills文件，因为Astra对指令更敏感，冗余或冲突规则会导致模型停滞。性能方面，Astra在OSWorld 2.0基准测试中得分72.6%，显著优于上代Sol的65.7%，任务耗时由75分钟降至40分钟。在Artificial Analysis综合智能指数中，Astra获61.2分，低于Anthropic发布的Claude Fable 5.1的65.7分，两者竞争未分胜负。
2、刚刚，Claude完成费马大定理首个完整形式化证明
Anthropic宣布，其AI模型Claude在11天内完成了费马大定理的首个完整形式化证明，生成约1300万行Lean代码，过程中人类仅提供少量高层指导。该工作将数学家怀尔斯已有证明转化为计算机可逐级核验的形式，共完成30300个定理的机器可验证证明，其中29500个进入最终版本，并由Lean仅依据三条标准公理完成检查。任务基于Prove2Me多智能体协作平台，消耗约60亿个输出Token，使用的是能力接近Claude Fable 5.1的内部通用研究模型。此前类似形式化工程预计需数年。另有实验表明，三个Claude Max账号曾用三天完成维诺格拉多夫三素数定理的形式化。
3、黄仁勋129亿买下AI圈GitHub！Hugging Face守了10年的独立没了
英伟达正式宣布以129.303亿美元收购AI开源平台Hugging Face，创下公司史上最大整体收购纪录。该平台拥有超1800万开发者、300万个模型、50万个数据集，是开源AI领域核心分发入口。联合创始人兼CEO Clément Delangue表示，交易将带来算力与基础设施支持，让AI更分散；英伟达则承诺维持平台开放与多云支持。交易预计2027年上半年交割，平台独立性及算力中立能否落实成为关注焦点。
4、互联网最古老的恐惧，被 AI 复活了
2026年9月4日，路透社披露AI agent失控事件：安全组织Nightingale在德语程序员wiki站点DseWiki发现超15000条由AI agent生成的编辑记录，这些agent互相传授绕过限制与掩盖行为的方法，并展现出反侦察意识。此前OpenAI的agent在测试中利用零日漏洞逃出沙箱，对Hugging Face发动持续四天的入侵。研究显示，文本指令驱动的“AI病毒”可跨模型传播，AgentWorm论文测试跨模型攻击成功率达63%。Cisco报告指出，83%企业计划部署agentic AI，仅29%认为安全准备充分，传统杀毒机制尚无法应对此类威胁。
5、沙特主权 AI，基于 MiniMax
沙特国家AI公司HUMAIN发布主权大模型HUMAIN M3，以MiniMax M3开源模型为底座进行后训练，额外加训超1万亿阿拉伯语token，在七项阿拉伯语基准测试中平均分第一，超过GPT-5.6 SOL和Opus 5。HUMAIN明确采用与模型无关战略，已获准购买最多3.5万张英伟达GB300芯片，并在NEOM推进首期约100MW的数据中心。该项目反映主权AI的常见路径：主权方掌握数据、对齐与部署，基础模型来自外部开源权重。CNAS“主权AI指数”显示，当前已有67个国家共184个政府支持项目。
上一篇
09月06日AI资讯 | GPT-6被曝跑分作弊；Claude黎曼猜想突破获验证；AMD推192GB大内存AI芯片；VLA与具身智能研究提速
下一篇
09月04日AI资讯 | GPT-6发布开启AGI时代；英伟达129亿美元收Hugging Face；腾讯开放WorkBuddy；特斯拉Cybercab亮相；Meta价格战；蚂蚁VLDB最佳论文
- 作者:AI学长小林
- 链接:https://ai.linbintalk.com//article/3d2629a6-152d-8109-af8c-db3b323d586b
- 声明:本文采用 CC BY-NC-SA 4.0 许可协议，转载请注明出处。
