🌅 下周AI前瞻 | 费马定理·DeepSeek华为大单
🌅 下周AI前瞻 | 费马定理·DeepSeek华为大单
📅 2026年9月6日 · 星期日
📰 今日头条
1. **Anthropic**官宣：Claude自主运行**11天**完成费马大定理形式化证明
- 据 Anthropic 官方，Claude 智能体群在 Lean 证明助手中基本自主运行**11天**，产出费马大定理首个**完整计算机可验证证明**
- 证明包含约**1300万行** Lean 代码，5倍于开源数学库 Mathlib 体量，其间证明**30300个**中间定理
- 采用达蒙-戴蒙德-泰勒简化路线，多智能体协作完成，获帝国理工等数学家背书，被视为 AI 数学推理里程碑
来源：Anthropic官方
- 证明包含约**1300万行** Lean 代码，5倍于开源数学库 Mathlib 体量，其间证明**30300个**中间定理
- 采用达蒙-戴蒙德-泰勒简化路线，多智能体协作完成，获帝国理工等数学家背书，被视为 AI 数学推理里程碑
来源：Anthropic官方
2. **DeepSeek**拟采购**16万颗**华为AI芯片 国产算力规模化提速
- 据彭博社等外媒报道，DeepSeek 计划为内蒙古新数据中心部署约**16万颗**华为AI加速器，打造约**1吉瓦**级推理算力集群
- 训练仍主要采用英伟达平台，推理环节转向国产芯片，显示国产算力进入头部大模型厂商规模化部署阶段
- 若订单落地，有望成为国产AI加速器迄今最大规模部署之一
来源：彭博社
- 训练仍主要采用英伟达平台，推理环节转向国产芯片，显示国产算力进入头部大模型厂商规模化部署阶段
- 若订单落地，有望成为国产AI加速器迄今最大规模部署之一
来源：彭博社
3. **OpenAI**承诺**10亿美元**护航关键基础设施网络防御
- OpenAI 推出「Daybreak for Frontline Defenders」计划，投入**10亿美元**，以补贴方式向水务、电力、地方政府、社区银行等机构开放 Daybreak 网络防御模型与培训
- 「Daybreak for America」先行启动，与 MS-ISAC 合作培训网络安全团队，后续将扩展至伙伴国家
- 公司总裁布罗克曼在网络安全峰会上发布该计划，以应对 AI 驱动的网络攻击风险
来源：路透社
- 「Daybreak for America」先行启动，与 MS-ISAC 合作培训网络安全团队，后续将扩展至伙伴国家
- 公司总裁布罗克曼在网络安全峰会上发布该计划，以应对 AI 驱动的网络攻击风险
来源：路透社
🤖 AI大事件
1. **Grok Bot**正式登陆安卓与iPad 全天候智能体走向全平台
- xAI 旗下全天候智能体「Grok Bot」正式登陆**安卓**并适配**iPad**，此前已覆盖 macOS、iOS 与 Linux
- 移动端用户可随时唤起智能体执行跨应用任务，持久化 Agent 从桌面场景走向全平台
- 分析认为多端覆盖将进一步加速 AI Agent 在日常工作流中的普及
来源：9to5Mac
- 移动端用户可随时唤起智能体执行跨应用任务，持久化 Agent 从桌面场景走向全平台
- 分析认为多端覆盖将进一步加速 AI Agent 在日常工作流中的普及
来源：9to5Mac
2. **特斯拉**Cybercab正式上路 无人监督行驶里程破**100万英里**
- 特斯拉无人驾驶出租车 **Cybercab** 开始上路运营，Robotaxi 车队累计**无人工监督**行驶里程突破**100万英里**
- 车辆采用端到端自动驾驶方案，出行成本较传统网约车进一步下探
- 业内认为特斯拉正为无人出行市场引入新变量
来源：TechRadar
- 车辆采用端到端自动驾驶方案，出行成本较传统网约车进一步下探
- 业内认为特斯拉正为无人出行市场引入新变量
来源：TechRadar
3. 阿里千问办公上线**30天**用户破**3000万** 企业用户占比过半
- 阿里官方披露：企业级 Agent 产品千问办公（8月3日推出）上线满月，用户数突破**3000万**，企业用户占比超过**50%**
- 过去30天完成**120次**版本迭代、平均每天更新4次，累计新增上千项功能，并同步推出国际版
- 长安汽车等头部企业已规模化落地：线束选型计算由两天缩至**5分钟**，随车文件核查由十几分钟降至**1-2分钟**
来源：新浪科技
- 过去30天完成**120次**版本迭代、平均每天更新4次，累计新增上千项功能，并同步推出国际版
- 长安汽车等头部企业已规模化落地：线束选型计算由两天缩至**5分钟**，随车文件核查由十几分钟降至**1-2分钟**
来源：新浪科技
4. 谷歌云上线**数据库管理智能体** 自然语言驱动运维
- 谷歌云发布面向数据库生命周期管理的 AI 智能体，覆盖配置、监控、扩缩容与性能优化等环节
- 运维人员可用自然语言发起任务，系统自动拆解并执行复杂操作
- 云厂商正加速将 Agent 能力下沉至底层基础设施
来源：InfoQ
- 运维人员可用自然语言发起任务，系统自动拆解并执行复杂操作
- 云厂商正加速将 Agent 能力下沉至底层基础设施
来源：InfoQ
5. 中科紫东太初发布**「一脑多形」**具身智能平台 兼容50余种机器人
- 中科院旗下紫东太初在 XAIR Expo 2026 广州具身智能展亮相全栈平台，依托**紫东太初4.0**多模态推理大模型构建「一脑多形」体系
- 平台可适配**50多种**不同品牌机器人本体，沉淀**300余项**标准化具身原子技能与千万级真机数据
- 已在北京、武汉、佛山等地建设实体机器人训练场，并牵头制定全国首个具身智能训练场团体标准
来源：东方财富
- 平台可适配**50多种**不同品牌机器人本体，沉淀**300余项**标准化具身原子技能与千万级真机数据
- 已在北京、武汉、佛山等地建设实体机器人训练场，并牵头制定全国首个具身智能训练场团体标准
来源：东方财富
6. 美的「**智能大师**」亮相IFA 2026 从AI智能体迈向具身智能
- 美的在 IFA 2026 展出「智能大师 SMART MASTER」产品线，展示家电从 AI 智能体向具身智能演进的技术路线
- 借助大模型理解与执行能力，家电从「回答问题」走向主动感知、联动执行任务
- 本届 IFA 中国参展企业数量创历史新高，AI+家电成为竞争主战场
来源：美通社
- 借助大模型理解与执行能力，家电从「回答问题」走向主动感知、联动执行任务
- 本届 IFA 中国参展企业数量创历史新高，AI+家电成为竞争主战场
来源：美通社
👥 公司动态
1. B站首届**AI创造公开赛**收官 **1.34万**创作者参赛
- 哔哩哔哩首届 AI 创造公开赛线下颁奖，共吸引超**1.34万**名创作者参与、收获**百万级**用户互动
- 赛事覆盖 AI 视频、AI 绘画等赛道，平台加速构建 AI 内容创作生态
- AI 生成内容正成为年轻社区创作的重要形态
来源：投资界
- 赛事覆盖 AI 视频、AI 绘画等赛道，平台加速构建 AI 内容创作生态
- AI 生成内容正成为年轻社区创作的重要形态
来源：投资界
2. **美光**计划年底HBM月产能翻倍至**10万片** 供货英伟达新平台
- 据媒体报道，美光目标到**2026年底**将高带宽内存（HBM）月产能提升约一倍至**10万片晶圆**
- 将重点提高**12层堆叠 HBM4** 产出，供应英伟达 Vera Rubin AI 平台
- AI 加速器带动先进存储需求高增，存储巨头竞相扩产应对
来源：TechNews科技新报
- 将重点提高**12层堆叠 HBM4** 产出，供应英伟达 Vera Rubin AI 平台
- AI 加速器带动先进存储需求高增，存储巨头竞相扩产应对
来源：TechNews科技新报
3. 广东省人工智能核心产业规模突破**3000亿元**
- 据中新网报道，广东省人工智能核心产业规模已突破**3000亿元**，稳居全国第一梯队
- 广州、深圳双核驱动，大模型、具身智能等应用场景加速落地
- 区域 AI 产业正从技术集聚走向场景规模化
来源：中新网
- 广州、深圳双核驱动，大模型、具身智能等应用场景加速落地
- 区域 AI 产业正从技术集聚走向场景规模化
来源：中新网
4. 中国联通打造**全栈AI服务体系** 数智赋能中小企业
- 中国联通发布全栈 AI 服务体系，面向中小企业提供算力、模型、应用一体化能力
- 结合 5G+AI 优势，降低中小企业智能化转型门槛
- 运营商加速从网络管道向 AI 服务商升级
来源：新浪财经
- 结合 5G+AI 优势，降低中小企业智能化转型门槛
- 运营商加速从网络管道向 AI 服务商升级
来源：新浪财经
5. **黄仁勋**向尼泊尔洪灾捐款**1000万美元**
- 在英伟达50多名尼泊尔员工请愿后，黄仁勋个人向尼泊尔洪灾救援捐款**1000万美元**
- 尼泊尔官员公开致谢，称这是洪灾以来收到的最大一笔科技公司捐款
- 英伟达表示将继续支持员工社区后续援助行动
来源：驱动之家
- 尼泊尔官员公开致谢，称这是洪灾以来收到的最大一笔科技公司捐款
- 英伟达表示将继续支持员工社区后续援助行动
来源：驱动之家
💰 资本洞察
1. AI推理创企**Gimlet Labs**融资**3亿美元** a16z领投
- Gimlet Labs 完成 **3亿美元** B轮融资，由 **a16z** 领投，估值达**30亿美元**
- 公司打造「多芯片异构推理」云平台，将推理负载跨英伟达等多种芯片调度，摊薄算力成本
- 推理层基础设施创新正成为资本关注的新焦点
来源：SiliconANGLE
- 公司打造「多芯片异构推理」云平台，将推理负载跨英伟达等多种芯片调度，摊薄算力成本
- 推理层基础设施创新正成为资本关注的新焦点
来源：SiliconANGLE
2. 飞行具身智能企业**微分智飞**完成数亿元**A2轮**融资
- 微分智飞完成数亿元 A2 轮融资，由**普华资本**领投，五源资本、深创投、BV百度风投等跟投
- 公司专注**飞行具身智能**，产品可在无GPS、无通信环境中自主导航作业，覆盖矿山、地下空间等场景
- 团队源自浙江大学，深耕空中机器人领域超过10年
来源：新浪科技
- 公司专注**飞行具身智能**，产品可在无GPS、无通信环境中自主导航作业，覆盖矿山、地下空间等场景
- 团队源自浙江大学，深耕空中机器人领域超过10年
来源：新浪科技
3. AI安防机器人公司**XTEND**登陆纽交所 代码**XTND**
- XTEND AI Robotics 完成与 JFB Construction 的业务合并，**9月4日**起在纽交所挂牌交易，代码 **XTND**
- 公司专注防务与公共安全场景的 AI 机器人系统，已有**1.25万+**套系统部署于**30多个**国家
- 此次上市为 AI+安防机器人赛道再添公开市场样本
来源：StreetInsider
- 公司专注防务与公共安全场景的 AI 机器人系统，已有**1.25万+**套系统部署于**30多个**国家
- 此次上市为 AI+安防机器人赛道再添公开市场样本
来源：StreetInsider
🔬 科技前瞻
1. 我国启动**国际地月立方星座**大科学计划 拟2030年完成部署
- 2026深空探测（天都）国际会议上，我国正式启动国际地月立方星座大科学计划
- 拟联合多国部署 **30颗** 12U立方星，开展地月空间环境监测与伽马射线暴探测，定位精度提至**亚角秒级**
- 泰国、塞尔维亚、埃及、印尼等国科研机构已加入，计划2030年前后完成全部发射
来源：新华社
- 拟联合多国部署 **30颗** 12U立方星，开展地月空间环境监测与伽马射线暴探测，定位精度提至**亚角秒级**
- 泰国、塞尔维亚、埃及、印尼等国科研机构已加入，计划2030年前后完成全部发射
来源：新华社
2. 机构预测：**人形机器人**年出货量2040年将达**2600万台**
- 行业机构最新预测，全球人形机器人年出货量到**2040年**将达到**2600万台**，进入规模化放量阶段
- AI 大模型赋能与核心零部件成本下降被视为两大驱动力
- 从工业场景向商业服务场景渗透的路径日渐清晰
来源：IoT Business News
- AI 大模型赋能与核心零部件成本下降被视为两大驱动力
- 从工业场景向商业服务场景渗透的路径日渐清晰
来源：IoT Business News
3. **英伟达**：内存价格高企料延续至明年 算力成本结构受关注
- 英伟达方面表示，当前内存（含 HBM 与 DRAM）价格已处高位，供应紧张预计**延续至明年**
- 公司已完成自身产品价格上调，以对冲零部件成本上行
- 先进存储供需偏紧背景下，AI 基础设施成本成为行业关注焦点
来源：Yahoo Finance
- 公司已完成自身产品价格上调，以对冲零部件成本上行
- 先进存储供需偏紧背景下，AI 基础设施成本成为行业关注焦点
来源：Yahoo Finance
📌 关键要点提炼
**科研突破**：Anthropic 宣布 Claude 自主运行**11天**完成费马大定理形式化证明，AI 数学推理迈出标志性一步
**算力动向**：DeepSeek 拟采购 **16万颗**华为AI芯片布局国产推理算力；美光计划年底 HBM 月产能翻倍至 **10万片**；英伟达提示内存价格高企或延续至明年
**安全治理**：OpenAI 承诺 **10亿美元**护航水务电力等关键基础设施网络防御，安全智能体走向普惠
**资本动向**：Gimlet Labs **3亿美元**、微分智飞数亿元融资相继落地；XTEND 登陆纽交所，AI 机器人加速对接资本市场
🤖 Hermix AI数字员工
🔗 免费试用：https://hermix.cn
📱 扫码添加企业微信，领取AI数字员工体验方案
扫码添加 企业微信