AI 日报 | 2026-05-22:OpenAI o3破解两项80年数学难题...

2 阅读10分钟

本文是 AI 日报 2026-05-22 的汇总,由自动化脚本整理发布。 关注 AI Coding、OpenClaw、AI CLI 等前沿方向。


今日共收录 15 条动态

今日头条

1. OpenAI o3破解两项80年数学难题

摘要: OpenAI o3独立证明埃尔德什单位距离猜想和几何猜想,AI首次在纯数学原创突破。

OpenAI通用推理模型o3独立推翻1946年提出的埃尔德什单位距离猜想和另一几何猜想。AI引入代数数论中的无限类域塔和Golod-Shafarevich理论,证明了比正方形网格更优的点集构造。菲尔兹奖得主Gowers和数论学家Shankar验证后表示震惊。证明由通用大模型完成,非专用数学AI。普林斯顿教授Sawin将指数改进至0.014。

值得关注: AI首次在纯数学领域完成原创性证明,从辅助工具变为科学探索贡献者,标志科研范式转变。

📎 36kr 📎 AI内参

2. SpaceX以2万亿美元估值启动史上最大IPO

摘要: 马斯克启动SpaceX IPO,估值2万亿美元,将星链航天基建与AI算力枢纽深度捆绑。

SpaceX正式启动IPO进程,估值达2万亿美元,成为史上最大规模公开上市。马斯克计划将星链等航天基础设施与AI算力枢纽深度绑定,打造太空AI计算网络。该计划关联此前2700亿美元AI算力投资,含采购54万张GPU和太空计算中心。高盛和摩根士丹利参与承销。

值得关注: 万亿级太空AI赌局开启,航天基建与AI算力首次在资本层面深度捆绑,重塑全球AI基础设施格局。

📎 AI内参 📎 36kr

3. DeepSeek近700亿融资接近完成

摘要: DeepSeek首轮融资约700亿接近完成,估值约3060亿,梁文锋承诺专注开源和AGI。

DeepSeek首轮融资谈判接近尾声,融资额约700亿元人民币,投前估值约3060亿元。国家大基金等机构参投。创始人梁文锋承诺持续开发开源AI模型,专注AGI研发。此前梁文锋个人出资200亿元。V4.1定档6月发布,同时DeepSeek与国产芯片深度适配,突破CUDA生态锁定。

值得关注: 中国AI独角兽最大规模融资之一,开源路线获国家级资本背书,对全球AI开源生态产生深远影响。

📎 AITNT 📎 新浪科技


OpenClaw

1. 微软计划6月底停用10万员工Claude Code

摘要: 微软因Claude Code费用过高,将停用10万员工,迁移至GitHub Copilot CLI。

微软因工程师大量使用Anthropic Claude Code导致IT预算严重超支,计划6月底前停用近10万名员工的Claude Code订阅,全面迁移至自研的GitHub Copilot CLI。Uber同期披露2026年全年AI工具预算仅4个月即耗尽。此事件凸显企业级AI工具按用量计费带来的预算管控挑战,也标志AI编程工具企业市场争夺白热化。

值得关注: AI编程工具从个人选择升级为企业级预算博弈,工具迁移潮或将改变AI编程市场格局。

📎 AITNT 📎 AI技术分析

2. Anthropic Q2营收109亿美元首盈利

摘要: Anthropic Q2营收预计109亿增127%,毛利率升至70%+,首度运营利润5.59亿美元。

华尔街日报报道,Anthropic向投资者披露Q2营收预计109亿美元,环比增长127%,首次实现运营利润5.59亿美元。推理毛利率从38%跃升至70%以上。核心驱动力:智能体工作负载缓存命中率超90%,大量用户从Sonnet迁移至高价Opus推高混合售价。年化收入飙至逾440亿美元,增速超Zoom、谷歌、Facebook同期。

值得关注: Anthropic打破AI公司烧钱亏损的刻板印象,证明智能体高端化+缓存降本可形成正向商业循环。

📎 36kr 📎 AITNT

3. Anthropic收购Stainless完善智能体生态

摘要: Anthropic收购SDK公司Stainless,金额至少3亿美元,集齐模型、接口、连接三件套。

Anthropic收购API SDK自动生成公司Stainless,谈判金额至少3亿美元。Stainless由前Stripe工程师Alex Rattray创立,客户包括OpenAI、Meta、Cloudflare等,覆盖全球超25%开发者。收购后Anthropic集齐模型(Claude)、接口(Stainless SDK)、连接(MCP协议)智能体生态三件套。Stainless不再为竞品提供支持。

值得关注: Anthropic完成智能体基础设施全栈布局,对OpenAI等竞品形成SDK层断供效应。

📎 36kr 📎 AI新闻早报


AI Coding

1. OpenAI Codex更新支持锁屏7×24编程

摘要: OpenAI Codex新增Appshots,支持Mac锁屏下7×24编程,周活开发者突破400万。

OpenAI对Codex进行重大更新,新增Appshots等功能,支持Mac锁屏状态下7×24小时无人值守编程。CEO奥特曼亲自推介。周活跃开发者突破400万。同日推出ChatGPT for PowerPoint插件Beta版,支持一句话生成可编辑PPT。Codex+Blender+腾讯混元3D教程同步发布。

值得关注: Codex迈向全时段自主编程,从辅助工具进化为可独立工作的AI开发者,将改变软件工程工作模式。

📎 AITNT 📎 AI新闻早报

2. DeepSeek组建Harness团队进军AI编程

摘要: DeepSeek组建Harness团队,将AI编程从概率生成转向可控智能体,具备长效记忆。

DeepSeek正式组建Harness AI编程团队,战略方向为将AI编程从概率生成转向可控智能体。目标是使AI编程具备长效记忆与可靠执行力,以工程化手段解决模型幻觉问题。此举表明DeepSeek正从模型层向应用层延伸,直接切入AI编程工具赛道,与Cursor、Copilot、Claude Code等产品展开竞争。

值得关注: 头部大模型公司向下游AI编程工具延伸,垂直整合趋势加速,AI编程市场竞争进一步升温。

📎 AI内参 📎 AI新闻早报


AI CLI

1. 企业AI CLI用量激增微软迁移Copilot CLI

摘要: 微软因Claude Code用量暴增预算超支,迁移至Copilot CLI;Uber年预算4月耗尽。

微软工程师大量使用Anthropic Claude Code CLI导致IT预算严重超支,公司计划6月底前全面迁移至自研GitHub Copilot CLI。Uber同期全年AI工具预算仅4个月即耗尽。凸显AI CLI工具在企业大规模部署后面临的按用量计费成本管控问题。Claude Code作为终端Agent工具的普及度已引发企业级预算关注。

值得关注: AI CLI工具从开发者个人选择进入企业级成本管控阶段,定价模型和厂商锁定成核心议题。

📎 AITNT 📎 AI技术分析


大模型

1. Cohere开源2180亿Command A+模型

摘要: Transformer作者发布Apache 2.0的2180亿MoE模型,250亿激活,免费商用。

Cohere CEO、Transformer论文作者Aidan Gomez发布Command A+,首个Apache 2.0许可完全开源的2180亿参数MoE模型。仅250亿参数激活,可在1张B200或2张H100上部署。支持多模态、推理、可追溯引用,允许免费商用。模型在多基准测试中表现优异,被认为是对现有闭源模型的有力挑战。

值得关注: Transformer核心作者亲自开源大模型,Apache 2.0免费商用,直接挑战闭源阵营。

📎 AITNT 📎 xix.ai

2. 阿里千问发布Qwen3.7-Max工程化模型

摘要: 阿里千问发布Qwen3.7-Max旗舰模型,强化长期自主任务执行能力,重心从对话转向Agent部署。

阿里千问发布工程化旗舰模型Qwen3.7-Max,强化长期自主任务执行和深度工程化能力。模型竞争重心从单次对话质量转向能否调用工具、组织子代理、在企业平台中长期执行任务。此前谷歌与阿里同日宣布AI Agent战略,标志着大模型竞争全面进入Agent化阶段。

值得关注: 大模型竞争从对话质量转向Agent工程化执行能力,阿里千问率先布局长期自主任务赛道。

📎 AI内参 📎 36kr


基础设施

1. NVIDIA推出Agent Skills智能体治理

摘要: NVIDIA发布Agent Skills,通过技能卡、风险扫描、签名验证为智能体工具链提供治理。

NVIDIA发布Verified Agent Skills,通过技能卡、风险扫描、数字签名、来源验证和跨工具同步机制,为智能体工具链提供可治理能力。支持Claude Code、Codex、Cursor等主流开发环境。标志着智能体进入企业生产需要可追踪、可审计、可授权、可撤销的治理层。治理与安全成为算力和工具之外的基础设施硬约束。

值得关注: 智能体工具链治理首次被提升到基础设施层面,NVIDIA建立从算力到治理的完整AI栈。

📎 AI技术分析 📎 AITNT

2. 摩尔线程发布家用AI智算中枢MTT AICUBE

摘要: 摩尔线程发布MTT AICUBE智能计算终端,自研长江SoC,50TOPS算力,可本地运行大模型。

摩尔线程2026发布会发布三款端侧硬件,核心产品MTT AICUBE是面向家庭场景的AI智能计算中枢。内置自研长江SoC,AI算力50TOPS,可本地运行大模型、管理家庭数据,兼顾隐私保护。6月18日京东开启预售。同时配合国产GPU首个全栈具身智能仿真平台发布,支持机器人虚拟大规模训练。

值得关注: 国产AI芯片从数据中心走向家庭消费市场,端侧大模型本地运行进入实用化阶段。

📎 AITNT 📎 AI新闻早报


行业动态

1. AI公司财务分化:Anthropic盈利OpenAI日亏过亿

摘要: Anthropic Q2首盈利5.59亿美元,OpenAI日亏超1亿利润率-122%,均筹备IPO。

Anthropic与OpenAI财务表现出现显著分化。Anthropic Q2营收预计109亿美元,首度实现运营利润5.59亿美元,推理毛利率超70%。OpenAI一季度营收约57亿美元,日亏损超1亿美元,调整后营业利润率-122%。OpenAI目标9月IPO估值1万亿美元,Anthropic也在竞相迈向上市。高盛和摩根士丹利正为OpenAI起草招股书。

值得关注: AI行业首次出现盈利分化,高端化+缓存降本成为盈利关键,商业模式差异将决定IPO估值。

📎 AITNT 📎 36kr

2. 趋境科技完成数亿元Pre-A轮AI基础设施融资

摘要: 趋境科技完成数亿元Pre-A轮融资,聚焦高品质AI Token生产基础设施,资金用于算力扩张。

AI基础设施公司趋境科技完成数亿元Pre-A轮融资,方向聚焦高品质AI Token生产基础设施建设。资金将用于扩大算力规模和研发投入。同期AI投资持续火热:信通院报告显示Q1互联网投融资中AI独占45%;'DeepMind黑手党'前员工四年内创办十余家AI公司,累计融资超140亿美元。

值得关注: AI基础设施层Token生产成为独立融资赛道,资本从押注模型转向投资AI算力供应链。

📎 量子位 📎 AI新闻早报


关于 AI 日报

AI 日报专注于追踪 AI 领域的最新动态,特别是:

  • 🤖 AI Coding 工具(Cursor、Windsurf、GitHub Copilot)
  • 🦖 OpenClaw / Claude Code 生态
  • 💻 AI CLI 工具发展
  • 🧠 大模型发布与评测

本日报生成于 2026-05-22 17:19:11