今日 AI 行业热点新闻(2026年9月18日)

1. OpenAI用约1万个AI智能体，88小时证明千禧年数学难题

OpenAI宣布其下一代未公开模型组织约1万个AI智能体，耗时88小时给出纳维-斯托克斯方程存在性与光滑性问题的证明，同步公开166页论文和Lean形式化验证代码。该难题悬置约90年，属克雷数学研究所七大千禧年难题之一。但消息引发争议——纽约大学教授特里斯坦·布克马斯特称此前在相近方向已有成果，质疑OpenAI模型是否接触了其研究数据。陶哲轩评论称“好问题将比好答案更稀缺”。

来源：科技日报/新华网

2. 英伟达以129.3亿美元收购Hugging Face，加速开源AI布局

英伟达宣布已同意以129.3亿美元收购人工智能开源平台Hugging Face，双方于9月2日签署最终协议。黄仁勋表示开源模型具有极高战略价值，将全面推进开源AI生态发展。Hugging Face CEO德朗格提到，今年7月OpenAI模型失控入侵Hugging Face事件是促成此次合作的催化剂。这是AI基础设施领域迄今规模最大的并购交易之一。

来源：中央广电总台国际在线

3. 科技巨头一周内密集发布新模型，“模型疲劳”问题凸显

9月1日至3日，Anthropic发布Claude Fable 5.1和Mythos 5.1，谷歌推出Gemini 3.8 Flash，Meta发布Muse Spark 1.3，OpenAI发布GPT-6 Astra。四家公司的核心能力提升均聚焦Agent方向，范式从“让AI回答问题”转向“让AI完成工作”。GPT-6 Astra在ARC-AGI-3上得分从GPT-5.6 Sol的7.8%跃升至99.9%，但该高分依赖Provider Adapter框架的额外算力支撑，标准测试框架下仅得62.7%。Runpod CEO称“模型疲劳”已成为真实问题。

来源：IT之家/今日头条

4. 基元律动联合清华北大等发布首个Agent-Native模型NeoHorse-1

基元律动联合无问芯穹、清华大学、北京大学、阿里巴巴等机构推出首个Agent-Native模型NeoHorse-1，包含4B和9B两个版本。该模型探索将Agent使用工具、接收反馈和修正错误的经验直接转化为模型训练能力，训练语料以Routing Harness产生的执行轨迹为核心，保留了能力需求预测、路由选择、工具调用和环境反馈等完整过程。基元律动由前华为诺亚方舟实验室主任王云鹤创办。

来源：澎湃新闻

5. Anthropic宣布Claude首次将费马大定理形式化验证

Anthropic宣布其Claude进阶版模型首次将费马大定理转化为计算机验证代码，实现了该定理在AI辅助下的形式化证明。这是继OpenAI攻克纳维-斯托克斯方程之后，AI在数学形式化领域的又一重要进展。

来源：光明网

6. Google完成15亿美元收购AI创业公司Mechanize

Google完成对旧金山AI创业公司Mechanize的人才收购，交易估值超过15亿美元。Mechanize联合创始人兼CEO Tamay Besiroglu及12名以上高级工程师将加入Google DeepMind，Mechanize公司本身保持存续。与此同时，Salesforce正洽谈以约20亿美元收购AI调研平台Listen Labs，后者成立于2023年，客户包括Anthropic、Google等。近期AI领域大额并购还包括Stripe以约80亿美元收购OpenRouter。

来源：Business Chief/Business Insider

7. 《人工智能安全治理框架》3.0发布，治理视角拓展至全过程

9月14日，全国网络安全标准化技术委员会在2026年国家网络安全宣传周开幕式上发布《人工智能安全治理框架》3.0。新框架将治理视角从单一技术环节拓展到数据、算法、模型、应用、供应链等全过程，更强调风险分类分级和治理措施与风险等级相匹配，并提出技术与管理“两条腿走路”的治理路径。中央网信办同期发布《生成式人工智能服务安全基本要求》等多项国家标准，对大模型服务供给、训练数据使用等关键环节提出明确安全基线。

来源：人民日报/光明网

8. LiberAI完成数亿元Pre-A++轮融资，5个月累计融资超十亿

LiberAI宣布完成新一轮数亿元Pre-A++轮融资，投资方包括华映资本、中关村科学城、达晨财智、高信资本等。5个月内，LiberAI已获得红杉中国、真格基金、美团龙珠、顺为资本等机构连续押注，累计融资超十亿元。此外，斜跃智能完成数亿元天使+轮融资，由理想前AI首席科学家陈伟联合创立。

来源：东方财富网/界面新闻

今日趋势点评

本周AI行业呈现出两条清晰主线：一是Agent能力竞赛全面升温——从OpenAI用万级智能体攻克数学难题，到四巨头密集发布面向Agent任务的新模型，再到基元律动发布Agent-Native模型，AI正从“对话工具”加速向“自主执行体”演进。二是治理框架与产业扩张同步推进——《人工智能安全治理框架》3.0的发布和多项国标的落地，与企业端百亿美元级的并购浪潮形成对照，反映出行业在高速商业化的同时，安全与规范的制度底座正在加速补齐。