AI 日报 | 2026年09月05日 这些值得看看

2026年09月05日 AI 资讯速览

1. GPT-6 Astra 全面推送，代码审查从几小时压缩到10分钟

OpenAI 新旗舰 GPT-6 Astra 今天向 Plus 和 Business 用户全面开放。实测显示大型系统代码审查从数小时缩短到约10分钟，前端3D生成和审美也明显升级。额度大约是 GPT-5.6 Sol 的一半，Pro 用户缺一天访问就补一次额度重置。

2. Claude 11 天搞定费马大定理的完整机器证明

Anthropic 开源了基于 Lean 4 的费马大定理完整机器验证证明，Claude 在 11 天内大体自主完成，写了 1300 万行代码、证明了近 3 万个定理。规模超过 Mathlib 5 倍以上，已放 GitHub 可离线复现。

3. GitHub 推 HydraFusion，用多模型编排给 Copilot 降本

GitHub 发布 Project HydraFusion 研究预览，运行时自动在 Single、Cascade、Critique 三种模式间切换，为每个编码任务选最合适的工作流，在质量和成本之间做动态平衡。

4. Cursor 推出 Origin 代码托管平台，定位 Agent 原生基础设施

Cursor 今天开启 Origin 平台早期 Beta，内嵌于编辑器 Codebase 标签页，支持库创建和拉取请求，面向 Pro / Teams / Enterprise 用户。同时 Namespace 合作给 Cursor 云端 Agent 提供 M5 芯片 Mac 开发环境。

5. 小鹏机器人完成超 9 亿美元融资，刷新具身智能单轮纪录

小鹏旗下人形机器人业务完成首轮融资，超 9 亿美元、投后估值超 63 亿美元，IDG 领投、腾讯和阿里战略参投。全身 76 个自由度、3 颗自研 AI 芯片，规划年底规模量产。

来源：AI资讯推送