编辑：前沿在线 编辑部

今日 AI 圈迎来多维度里程碑突破：基础科研领域，Claude仅用 11 天完成费马大定理首个完整形式化证明，大模型深度渗透硬核数学研究；产业端，小米 IFA展出人车家全生态成为首个物理 AI 全生态公司，DeepSeek大额采购昇腾芯片夯实国产算力底座，西湖大学提出代码驱动世界模型新范式。

开源生态持续扩容，Meta、微软分别放出具身智能决策框架、高速生图模型；资本与商业化同步推进，月之暗面冲刺港股 IPO，xAI上线机器人市场，Rokid出海日本，前沿创企融资持续加码，技术、产业、生态三线共振。

Claude 用 11 天完成费马大定理首个完整形式化证明

Anthropic 于 9 月 4 日宣布，旗下 Claude 大模型在基本自主运行 11 天后，完成了费马大定理的首个端到端、经计算机完整核验的形式化证明，成为 AI 介入基础数学研究的标志性里程碑。

本次工作并非重新发现数学证明，而是将安德鲁・怀尔斯 1995 年的经典证明转换为 Lean 证明助手可逐行验证的形式。

过程中 Claude 生成约 1300 万行 Lean 代码，证明了约 3.03 万个定理，最终 2.95 万个中间定理纳入完整证明，整个工程规模超过 Lean 核心数学库 Mathlib 的 5 倍，全程仅需少量人工方向指引。

这一突破验证了大模型在深度科学研究中的工程价值，AI 正式从通用内容生成延伸至基础科学的形式化验证领域，有望大幅缩短顶级数学成果的验证周期，推动科研工作从 “人写证明” 向 “AI 辅助工程化验证” 转型。

微软发布MAI-Image-2.6-Flash 生图速度达GPT Image2 两倍

微软正式推出 MAI-Image-2.6-Flash 轻量生图模型，实测图像生成速度达到 GPT Image 2 的 2 倍，主打低延迟、高吞吐的实时图像生成场景。

模型在保持 4K 分辨率与细节质感的同时，通过架构优化大幅压缩推理耗时，支持批量内容生产、实时创意迭代、端侧图像生成等需求，兼顾画质与生成效率，适配创作者工作流与企业级量产场景。

高速轻量生图模型的入局，进一步加剧多模态赛道的效率竞争，“质量 + 速度” 双优的产品定位，将推动 AI 图像生成从工具化应用向实时生产级场景渗透，拓展更多工业化落地空间。

DeepSeek被曝采购16万颗昇腾950DT 订单规模约25.6亿美元

据市场消息，DeepSeek 计划在内蒙古在建数据中心部署至少 16 万颗华为昇腾950DT AI 芯片，对应订单总金额约 25.6 亿美元，将成为目前已知规模最大的国产 AI 芯片集群之一。

这批芯片将主要用于 DeepSeek 旗下大模型的推理业务，而非模型训练；此前 DeepSeek 已完成与昇腾算力的深度适配，联合定义超节点架构以优化长文本推理的时延与吞吐。

受高端存储零部件短缺影响，华为 950DT 产能有限，完整交付预计需要一年以上时间。

大额国产芯片采购标志着 “模算协同” 进入规模化落地阶段，国产大模型与国产算力的双向适配持续深化，国内 AI 算力自主可控的产业格局进一步夯实，也为昇腾生态商业化注入强劲动力。

西湖大学发布 Code 视频世界模型 首创代码驱动世界演化

西湖大学 AGI Lab 研究团队发布 Code 视频世界模型，创新性提出 “代码驱动物理世界演化” 的技术路线，打破行业主流像素级视频生成的路径依赖。

模型将世界演化拆分为逻辑与渲染两层：编码智能体作为 “世界大脑”，负责理解规则、推演事件因果、输出可执行代码；代码层高频执行确定性状态更新，保证世界逻辑自洽；视频模型则基于状态结果渲染高清画面。

该架构解决了传统视频模型 “长时序逻辑崩坏、因果不一致” 的核心痛点，可应用于机器人仿真训练、工业数字孪生、开放世界游戏等场景。

代码驱动的技术范式为世界模型研究提供了全新方向，从拟合视觉表象向理解底层逻辑演进，将进一步提升物理 AI 的真实可控性与工程应用价值，推动世界模型从内容生成向工业级仿真升级。

小米 IFA 首秀人车家全生态 成首个落地物理 AI 全生态公司

小米在 2026 IFA 柏林国际电子展上首次展出人车家全场景物理 AI 生态体系，覆盖智能手机、智能汽车、智能家居、人形机器人四大终端品类，成为全球首个实现物理 AI 全生态落地的消费科技公司。

整套生态以自研大模型为统一智能中枢，打通跨终端环境感知、决策调度、动作执行链路，设备间可自主识别场景并协同联动，用户通过自然语言即可完成跨设备任务调度与场景控制，实现从数字交互向物理世界操控的体验升级。

全生态体系的落地标志着物理 AI 从单一产品突破走向场景化体系成熟，小米凭借多终端布局率先完成物理 AI 全场景闭环，也为消费电子行业智能化转型提供了可参考的完整范式。

Meta 全开源 HumanCLAW 基础模型切入具身智能决策层

Meta 正式全开源 HumanCLAW 具身智能基础模型，将大模型能力深度融入具身智能决策层，为全球机器人开发者提供通用的动作规划与环境理解底座。

模型基于海量人类动作数据与真实场景数据训练，可直接输出机器人可执行的动作指令，支持抓取、移动、避障、工具使用等通用任务，开发者无需从零训练决策模型，大幅降低具身智能研发门槛与周期。

Meta 开源具身智能核心技术，将推动全球具身智能研发效率整体提升，基础决策模型的开放也将加速机器人从专用任务设备向通用平台演进，进一步丰富具身智能开源生态。

Rokid在日本开放AI Glasses体验预约 定价10.99万日元

Rokid 正式在日本市场开放 AI 智能眼镜体验预约，产品定价 10.99 万日元，成为率先规模化出海日本市场的国产消费级 AR 眼镜品牌。

眼镜搭载端侧 AI 助手、实时翻译、空间导航、语音交互等核心功能，针对日本本地使用场景完成本地化适配，同时覆盖消费级用户与企业商用场景，支持线下门店体验与线上预约双通道。

国产 AR 眼镜规模化出海，标志着中国消费级 AI 硬件具备全球市场竞争力，本地化运营也将为国产智能终端海外拓展积累经验，推动国产 AI 硬件从本土领先走向全球市场。

前OpenAI CTO创企Thinking Machines拟融资10亿美元

前 OpenAI CTO 创立的 AI 初创公司 Thinking Machines，正计划推进 10 亿美元新一轮融资，聚焦前沿 AGI 底层技术研发，成为近期估值最高的前沿 AI 初创公司之一。

公司核心团队汇集多位前 OpenAI 核心研究员，目标打造具备持续学习与自主推理能力的下一代大模型，探索通用人工智能的可行技术路径，主打深度科研与技术突破导向。

大额融资意向反映出资本市场对前沿 AGI 技术的持续追捧，顶尖人才创业正在成为 AI 技术突破的核心力量，全球 AGI 研发的资本投入与技术探索同步持续加码。

消息称月之暗面最早年内赴港 IPO 最高募资 50 亿美元

市场消息显示，国产大模型厂商月之暗面最早将于 2026 年年内赴港提交 IPO 申请，计划最高融资 50 亿美元，冲击国产大模型港股第一梯队。

公司旗下 Kimi 系列大模型在长上下文、智能体、企业服务等场景具备差异化优势，商业化进程持续提速；IPO 募资将主要用于大模型迭代、算力基建与全球业务拓展，此前公司已完成多轮融资，估值持续攀升。

月之暗面启动上市进程，标志着国产大模型行业进入资本化集中兑现期，头部企业陆续登陆资本市场将进一步拉开行业竞争梯队，也将验证国产大模型的长期商业化价值。

xAI 上线机器人市场 首批 69 个机器人 43 位创作者入驻

xAI 正式上线机器人市场平台，首批上架 69 款不同功能的机器人产品，同时有43 位创作者入驻平台，支持自定义机器人开发与交易。

平台依托 Grok 系列大模型能力，创作者可快速搭建具备对话交互、工具调用、特定任务执行能力的机器人，覆盖办公、学习、娱乐等多个场景，构建机器人创作者经济生态。

xAI 从大模型延伸至机器人平台，标志着 AI 厂商开始布局具身智能生态化运营，创作者经济与机器人技术的结合，将加速通用机器人的普及与场景创新，推动具身智能从技术研发走向生态繁荣。

前沿动态前沿大会
前沿人物

点「在看」，给前前加鸡腿