AI 资讯日报 · 2026-09-05

今日AI领域重磅事件不断：基础设施赛道英伟达129亿美元收购HuggingFace落定，AI开源生态格局生变；大模型赛道OpenAI发布GPT-6 Astra并宣称迈入AGI时代，多领域AI科研与应用突破刷新行业认知；同时多家AI公司获得大额融资，企业级AI落地进程持续加速。

今日概览

1. 黄仁勋129亿美元收购HuggingFace，AI开发基础设施版图落定
2. 姚班校友主导，Claude攻克费马大定理首个完整形式化证明
3. 元代理架构Eureka将黎曼猜想推至理论边界99.55%
4. OpenAI发布GPT-6 Astra，宣称迈入AGI时代并全量开放
5. GPT-5.6仅用一天改写数学史，打破8年大素数空隙纪录
6. 前OpenAI CTO创立的Thinking Machines Lab洽谈融资10亿美元，估值超400亿美元
7. 智能体请求暴增9.4倍，Uber公开AI软件工厂省钱方法
8. 千问办公上线首月用户突破3000万，企业用户占比超半
9. Physical Intelligence联创：物理AI已走到属于自己的GPT时刻
10. Fireworks AI估值达175亿美元，ARR突破10亿美元
11. 燕山大学李靖阳将作异构图增强大模型可信推理学术报告

大模型突破

姚班校友主导，Claude攻克费马大定理首个完整形式化证明

费马大定理是数学领域延续三百余年的顶级难题，其形式化证明要求逻辑绝对严谨、无任何推理跳跃，对AI的推理能力与逻辑一致性提出极高要求。本次由姚班校友主导的团队，基于Anthropic的Claude模型完成了该定理的首个完整形式化证明，全程通过Harness工具兜底保障逻辑可靠性，打破了AI仅能辅助数学研究的天花板。这一突破证明大语言模型已具备参与顶尖数学证明的能力，不仅为数学研究提供了全新工具，也将为AI for Science的落地打开更广阔的想象空间。 来源：https://www.qbitai.com/2026/09/484551.html

元代理架构Eureka将黎曼猜想推至理论边界99.55%

黎曼猜想被誉为数学领域的“皇冠明珠”，其验证过程涉及复杂的长周期推理，传统固定架构的AI难以适配这类高度复杂的科研任务需求。本次由广东工业大学、华南师范大学、上海交通大学、杜克大学等国内外高校联合提出的Eureka元代理架构，核心创新是让AI在解决任务过程中动态生成适配当前任务的专用推理结构，而非使用固定预设的“大脑”。在严格的系统测试中，Eureka完成了全部170项复杂递归长周期任务，生成3948份可验证的合格证书，全程无虚假完成反馈，在黎曼猜想的探索中将其理论边界推进至99.55%，充分证明了动态架构在处理复杂科学问题上的巨大潜力。 来源：https://mp.weixin.qq.com/s?__biz=MzI3MTA0MTk1MA==&mid=2652722736&idx=3&sn=e59b69e8c62060cf1751a9e761120c28

OpenAI发布GPT-6 Astra，宣称迈入AGI时代并全量开放

OpenAI于9月5日正式发布新一代大模型GPT-6 Astra，OpenAI联合创始人兼总裁Greg Brockman将其定义为“代际跃迁”，公开喊出“欢迎来到AGI时代”。目前该模型已全量开放给ChatGPT Work、Codex各付费套餐用户及Plus、Business用户，同时重置了API调用额度。不同套餐的额度限制差异明显：顶级Pro套餐（200美元/月）每周可调用200条GPT-6 Pro，入门Pro套餐（100美元/月）每周仅50条，企业标准版每月仅分配15条调用额度。开发者需将Codex CLI升级至0.153.0及以上版本才可接入，OpenAI官方也建议用户更新桌面端客户端以获得最佳体验。 来源：https://www.ifanr.com/1678195?utm_source=rss&utm_medium=rss&utm_campaign=

GPT-5.6仅用一天改写数学史，打破8年大素数空隙纪录

大素数空隙问题是数论领域的经典难题，此前由陶哲轩领衔的五人团队保持该领域的最高纪录长达8年之久。本次斯坦福大学助理教授Jared Duker Lichtman确认，GPT-5.6仅用一天时间就打破了这一长期保持的纪录，同时提出了一种前所未有的全新构造方法——“倾斜剩余类”（Skewed Residue Classes），其证明在当天就通过了Lean语言的机器形式化验证。这一突破意味着AI的数学推理能力已经可以支撑顶尖数论研究的突破，大幅缩短了传统数学研究的验证周期，也再次刷新了公众对AI科研能力的认知。 来源：https://mp.weixin.qq.com/s?__biz=MzI3MTA0MTk1MA==&mid=2652722736&idx=2&sn=824a7f161d7794c2f1e50f88c0e9529f

行业并购与融资

黄仁勋129亿美元收购HuggingFace，AI开发基础设施版图落定

作为全球最大的AI开发者社区与模型托管平台，Hugging Face此前面向全球开发者提供开源模型、数据集托管服务，是AI开源生态的核心基础设施之一，此次收购也意味着其维持了10年的独立运营正式终结。本次交易总额达129.303亿美元，是英伟达在AI开发工具链上的关键布局，将直接补强其从硬件到软件生态的完整闭环。对于全球AI开发者而言，后续Hugging Face的开源策略是否会调整、模型托管服务是否会向英伟达硬件生态倾斜，将是行业关注的焦点，此次收购也将深刻影响全球AI开源与商业化的格局。 来源：https://mp.weixin.qq.com/s/bcIlum1RvNJol-SYj-igUQ

前OpenAI CTO创立的Thinking Machines Lab洽谈融资10亿美元，估值超400亿美元

由前OpenAI首席技术官Mira Murati创立的人工智能公司Thinking Machines Lab正洽谈新一轮融资，据悉其融资前估值至少达400亿美元，拟募集资金不低于10亿美元，现有投资者Accel正在洽谈领投，英伟达也参与了该轮融资的接洽。该公司于2025年7月发布首款开放权重模型Inkling，目前通过向企业出售工具访问权限实现盈利。此前英伟达已对其投资一笔未披露金额的资金，双方计划建立长期千兆瓦级战略合作伙伴关系，大概率将保障Thinking Machines获得英伟达AI服务器芯片的优先供应权。成立不到两年的Thinking Machines能获得如此高估值，也反映出市场对AGI赛道头部团队的持续看好。 来源：https://mp.weixin.qq.com/s?__biz=MzI4NTgxMDk1NA==&mid=2247517870&idx=2&sn=ed0af03ff475ec56d757f6c8639b41b9

Fireworks AI估值达175亿美元，ARR突破10亿美元

AI推理服务商Fireworks AI于2026年7月完成15.05亿美元D轮融资，公司估值达到175亿美元，年化收入运行率（ARR）突破10亿美元，每日服务Tokens量超过40万亿，其中超过95%的Tokens来自基于客户专有数据、针对特定任务优化的专业化模型。Fireworks AI CEO乔琳（Lin Qiao）认为，在AI应用开发门槛急速降低的当下，产品功能、界面等传统壁垒已经可以被快速复制，AI产品的长期护城河将来自于“拥有自己的智能”——即将自身积累的数据、反馈、偏好转化为专属模型能力。不到一年时间，Fireworks AI的估值从40亿美元跃升至175亿美元，ARR从2.8亿美元增长至10亿美元，也验证了这一逻辑的可行性。 来源：https://mp.weixin.qq.com/s?__biz=MjM5OTAzMjc4MA==&mid=2650889292&idx=1&sn=a6a3e155d84722e04bca9c166a06ecf2

AI产品与落地

智能体请求暴增9.4倍，Uber公开AI软件工厂省钱方法

Uber在2026年AI工程师大会上公开了其“AI软件工厂”的落地成果：目前AI工具已嵌入Uber软件开发的全流程，超过70%的代码合并请求由本地或云端智能体生成，工程师们共构建了超过3600个智能体技能，每日调用次数超过3万次，覆盖代码评审、CI故障自动修复、端到端PR生成、值班告警分级处理、代码调试及各类维护任务。数据显示，2026年2月至8月，Uber所有员工的智能体产品周活跃用户数增长7倍，周智能体请求量增长9.4倍，而由于全面优化，公司AI总支出自4月以来已保持相对稳定，为行业提供了AI提效降本的可参考范本。 来源：https://mp.weixin.qq.com/s?__biz=MzU1NDA4NjU2MA==&mid=2247666603&idx=2&sn=f9069f447c17f42777122f63737171ed

千问办公上线首月用户突破3000万，企业用户占比超半

阿里旗下千问办公上线仅一个月，用户数就突破3000万，其中企业用户占比超过一半，是当前AI办公应用中企业采纳速度最快的产品之一。产品迭代速度极快，一个月内完成120个版本更新，平均每天迭代4次，还推出了国际版本。技术上，千问办公开源了MyContext工具，可将企业分散的消息、文档、审批、邮件、知识库等碎片信息整合为Agent可调用的结构化上下文，让Agent可以跨系统调用数据完成复杂任务；同时推出的办公专属模型，单任务生成速度提升约100%，Token消耗减少75%，大幅降低了企业的使用成本。目前长安汽车、汇付天下、传化集团、老乡鸡等企业已接入，覆盖汽车、金融、能源、餐饮等多个行业。 来源：https://mp.weixin.qq.com/s?__biz=MzU2Njg0OTEyNQ==&mid=2247496309&idx=1&sn=879856abd3a6abdba6e6171f34acc119

Physical Intelligence联创：物理AI已走到属于自己的GPT时刻

Physical Intelligence联合创始人Chelsea Finn在YC Startup School的演讲中指出，让机器人在现实世界落地需要三大核心要素：高可靠性、长期记忆能力、以及无需微调的通用基础模型。她将物理AI的发展阶段对标语言模型的GPT时刻，认为当前物理AI已经站在通用AI时间线的右侧，迎来了属于自己的关键拐点。今年以来，宇树科技登陆科创板成为A股首家上市的人形机器人公司，Physical Intelligence也在2025年11月完成估值56亿美元的最新一轮融资，资本市场的持续加码也印证了物理AI赛道的增长潜力。 来源：https://mp.weixin.qq.com/s?__biz=MzAxMDMxOTI2NA==&mid=2649111344&idx=1&sn=3a45b99fdcae037944d29e13af398835

学术动态

燕山大学李靖阳将作异构图增强大模型可信推理学术报告

MLNLP社区联合中国中文信息学会青年工作委员会主办的MLNLP学术Talk，将于2026年9月5日9:00-10:00举办本期讲座，邀请燕山大学人工智能学院讲师、燕山学者李靖阳，带来“异构图增强的大模型可信推理方法及其应用研究”的主题分享。李靖阳博士毕业于西安电子科技大学，目前在大连理工大学与中冶焦耐联合博士后站工作，主要研究方向为异构信息融合、图表示学习及多模态工业大模型应用技术。本次报告将聚焦大模型推理的可信性问题，探讨如何通过异构图技术提升大模型推理的准确性与可解释性，相关研究成果可落地于工业智能等场景。 来源：https://mp.weixin.qq.com/s?__biz=MzU3NjE4NjQ4MA==&mid=2247557200&idx=1&sn=889d6cdec22ad349575f33c23a4f75f3