04 腾讯「马维斯」操作系统级 AI 助手三端上线，Ardot 设计智能体同周公测 ：Windows、Mac、Android 同步开放，系统层直接操控桌面应用和文件；Ardot 一句话生成可编辑设计稿，一键导出前端代码。

　　07 OpenAI 推理模型独立攻克 80 年几何猜想，数学家验证原创性 ：推翻 Paul Erdős 1946 年提出的猜想，通用推理模型非数学专用；剑桥 Timothy Gowers 等多位顶级数学家独立验证并撰写伴随论文。

　　5 月 22 日 DeepSeek 官方宣布，V4-Pro 模型 API 的 2.5 折优惠将在 5 月 31 日到期后直接锁定为原价的 1/4，不再恢复原价。调整后输入价 0.435 美元/百万 token，输出 0.87 美元/百万 token，全线缓存命中成本同步砍掉 90%。即便按调整前的原价算，V4-Pro 已比 GPT-5.5 便宜约 98%，永久降价后价格差距进一步拉开。V4-Pro 总参数 1.6 万亿，每次推理激活 490 亿，是目前参数量最大的开放权重模型。

　　据报道，DeepSeek 已在内部组建全新的 Harness 团队，主攻代码智能体产品，对标 Anthropic 的 Claude Code。V4-Pro 全部运行在华为昇腾芯片上，降价底气来自芯片成本结构与英伟达路线的差异。同周 等特殊字符触发模型异常回复的事件引发关注，DeepSeek 回应称属于模型「幻觉」现象，不涉及数据泄露或安全问题，技术团队将针对性优化。

　　02｜阿里发布智能体旗舰「Qwen3.7-Max」，35 小时自主编程 1158 次工具调用

　　发布会 demo 是一次 35 小时连续编程任务。Qwen3.7-Max 在无人干预下执行 1158 次工具调用、432 轮内核评估，最终将注意力内核速度提升到 Triton 参考实现的 10 倍。千问 App 6.9.7 版本已免费接入，PC 端和网页端同步支持切换。Artificial Analysis 测试中该模型 token 消耗约为同类中位数的 4 倍，实际使用成本可能高于标价暗示的水平，模型目前仍带 Preview 后缀。

　　速度优势在 Agent 场景最明显。多轮调用的延迟逐步累积，会直接拉长任务整体完成时间。400 tokens/s 配合国产定价，GLM-5.1 高速版给高频 Agent 调度提供了一个低成本选项。

　　04｜腾讯「马维斯」操作系统级 AI 助手三端上线，「Ardot」设计智能体同周公测

　　腾讯副总裁张军 5 月 21 日宣布，AI 助手「马维斯」正式上线，Windows、Mac、Android 三端同步开放。马维斯直接运行在操作系统层，能归类解析文档、智能识别处理图片、操控桌面应用，PC 端还能远程调度手机端任务。腾讯表示「市面上 Agent 能做的，马维斯基本都能做」，和浏览器插件或 App 内 AI 助手不同，系统级入口让跨应用调度无需逐个授权。

　　三天前（5 月 18 日）腾讯云的 AI 设计平台 Ardot 进入公测，定位「AI 驱动的产设研协作平台」，输入一句话即可生成可编辑设计稿，支持一键导出前端代码。马维斯管系统层操控，Ardot 管设计到开发的交付，两款 Agent 产品同一周公开。

　　产品侧最大的发布是 Gemini Spark，定位 24 小时在线的个人 AI 智能体，运行在独立虚拟环境中，可自主操作 Gmail、日历等应用。配套的 AI Ultra 订阅从 250 美元/月降至 100 美元/月，包含 Spark 测试资格和 20TB 云存储。谷歌还联合亚马逊、Me尊龙凯时科技有限公司ta、微软发布了 AI 电商协议 UCP，为 Agent 购物制定通用接口标准。

　　I/O 结束后，配额争议的讨论热度反而超过了新模型。谷歌将 Gemini 计费规则从「每日提示次数」改为「按算力计费」，付费用户在密集编程和多媒体任务中频繁触顶，遭遇 5 小时冷却和周额度锁定。社交媒体上投诉集中爆发，谷歌紧急将配额提高 3 倍，随后又追加 3 倍，累计上调 9 倍。DeepMind 的 Varun Mohan 公开承认付费用户「几次工作会话就可能耗尽周配额」，并两次重置了全部付费计划的配额。

　　ChatGPT、Codex、API 三条产品线 日 OpenAI 宣布大规模重组，联合创始人兼总裁 Greg Brockman 正式接管全部产品战略，取代因病休假的 AGI 部署负责人 Fidji Simo。Brockman 在全员备忘录中表示将建设「一个统一的 Agent 平台」。视频生成产品 Sora 同日关停，原因是算力消耗与营收严重不匹配，此前规划中的 10 亿美元迪士尼投资也因此告吹。产品负责人 Kevin Weil 和技术负责人 Bill Peebles 离开，COO Brad Lightcap 被调至「特殊项目」。

　　重组的直接推力是 IPO。据报道，OpenAI 最快于 5 月 22 日向 SEC 提交机密招股书，Goldman Sachs 和 Morgan Stanley 担任主承销商，上市窗口瞄准今年秋季，估值预期逾万亿美元。同期披露的数据显示 Q1 营收 57 亿美元，领先 Anthropic 约 10 亿，但调整后经营利润率为 -122%，每赚 1 美元要亏 1.22 美元。ChatGPT 周活 9.05 亿，低于 2 月峰值 9.2 亿，用户增长开始放缓。

　　IPO 前最大的法律障碍也在同一周扫清。5 月 19 日加州联邦陪审团在不到两小时审议后驳回了 Elon Musk 对 OpenAI 的全部诉讼请求，理由是全部索赔已过诉讼时效。产品侧，5 月 22 日 ChatGPT for PowerPoint 以 Beta 形式上线，Mac 版 Codex 新增 Appshots 功能，支持将桌面窗口画面直接传给 AI。

　　07｜OpenAI 推理模型攻克 80 年「Erdős 猜想」，剑桥数学家认证原创性

　　1946 年，匈牙利数学家 Paul Erdős 提出一个问题，在平面上放 n 个点，最多能有多少对距离恰好为 1？近 80 年来数学界普遍相信方格点阵已经接近最优解。5 月 20 日 OpenAI 宣布，一个通用推理模型在无人引导下找到了一族全新构造，证明方格点阵并非最优，并给出了严格的数学证明。关键突破在于模型将问题关联到代数数论，一个与几何看似无关的分支。普林斯顿教授 Will Sawin 随后将改进幅度量化为指数增益 δ ≥ 0.014，虽然数字看着小，但这是多项式级的提升，意味着单位距离对的增长速率严格超过方格点阵能达到的任何构造。

　　剑桥大学数学家 Timothy Gowers 评价「此前没有任何 AI 生成的证明接近过这一水平」。Noga Alon、Melanie Wood 等多位顶级数学家参与了独立验证并撰写伴随论文，完整的期刊同行评审仍在进行中。这个证明的特殊性在于它来自通用推理模型，没有专门针对数学训练或搭建搜索框架。七个月前 OpenAI 时任副总裁 Kevin Weil 声称 GPT-5 解决了 10 道 Erdős 问题，事后被证实只是重新发现了文献中的已知结果，被 Yann LeCun 和 Demis Hassabis 公开嘲讽。这次 OpenAI 带上了外部数学家的独立验证和完整背书。

　　招股书还披露了一桩更引人注目的交易。今年 4 月 SpaceX 与 Cursor 母公司 Anysphere 签署算力加期权协议，SpaceX 持有以 600 亿美元收购 Anysphere 全部股权的期权，若放弃收购则须支付 100 亿美元退出费。签约时 Cursor 正准备以 500 亿美元估值关闭一轮 20 亿美元融资，被 SpaceX 截胡。xAI 部门 Q1 营收 8.18 亿美元，运营亏损 24.7 亿美元，同季 AI 基础设施投入达 77 亿美元。从 2025 年 1 月估值 25 亿美元到如今 600 亿美元的收购期权价，Cursor 在 16 个月内翻了 24 倍。

　　SWE-Bench Multilingual 79.8%，距 Opus 4.7 的 80.5% 只差 0.7 个百分点。5 月 18 日 Cursor 上线，底座是月之暗面开源的 Kimi K2.5，万亿参数 MoE 架构，每次推理激活约 320 亿参数。Cursor 在此基础上投入 85% 的总算力用于后训练，核心改进包括文本反馈强化学习（在失败的工具调用处给局部提示，取代只在最终结果给奖励）和 25 倍于前代的合成训练数据。标准模式定价 0.50 美元/百万 token 输入、2.50 美元输出，是 Opus 4.7 的十分之一。

　　#我在东北超现场#【大连球迷“远征军”抵达哈尔滨，带“设计”而来，请期待！

　　重庆永川特大暴雨已导致3人死亡，17人失联。5月24日，在永川区就读于重庆城市科技学院的杨女士告诉南都N视频记者，她接到学校暂时停课的通知，自家停在学院附近的小车已经被淹，“只能重新换车”。当日中午，重庆市永川区应急管理局工作人员告诉记者，目前还在全力抢救当中。

　　这是美国1月对委发动大规模军事行动并强行带走委总统马杜罗以来，美国首次在委举行军事演练。当日，两架美国军用飞机飞越加拉加斯上空并降落在美国驻委使馆区域。

　　根据国务院办公厅《关于2026年部分节假日安排的通知》端午节6月19日（周五）至21日（周日）放假，共3天。端午节假期高速不免费根据《重大节假日免收小型客车通行费实施方案》，在春节、清明节、劳动节、国庆节4个国家法定节假日，7座及以下小型客车享受高速免费通行政策。

　　据韩媒报道，5月23日，韩国前总统朴槿惠前往大邱市北区七城市场，为国民力量党大邱市长候选人秋京浩助选。这也是朴槿惠自2017年被弹劾以来首次公开露面参与竞选活动。视频显示，现场民众对朴槿惠的出现热情呼应，朴槿惠表示，非常感谢大家的热情欢迎，很抱歉拖延了这么久才来，本应该更早来的。

　　美国总统特朗普重大宣布，美国国务卿鲁比奥、以总理内塔尼亚胡、伊朗总统佩泽希齐扬最新表态，美以伊冲突（5月24日）最新消息汇总

　　美国总统特朗普23日宣称，美伊已“基本谈成”一份协议，最终细节将很快公布，并透露霍尔木兹海峡将随之开放。美国国务卿鲁比奥同日确认谈判“正在取得进展”。伊朗方面则表示，双方正处于一份谅解备忘录的最终敲定阶段，但强调现阶段不涉及核问题细节，仅聚焦结束战争。

　　山西爆炸煤矿部分矿工没带定位卡，伤亡多原因披露：瓦斯爆炸冲击波非常可怕，还会导致石头掉落、高温，氧气减少，产生有毒有害气体

　　据央视新闻，5月22日19时29分，山西长治市沁源县山西通洲集团留神峪煤业有限公司井下发生瓦斯爆炸事故，事故已造成90人死亡，现场搜救仍在进行。

　　5月24日0时45分，衡阳市祁东县上正社区一商铺发生火灾，造成5人死亡，1人受轻微伤，伤者正在积极救治，无生命危险。相关善后工作和事故原因调查正在开展中。

　　前言2026年5月，美国耶鲁大学的毕业典礼上，一对穿着简洁黑白配休闲装、戴着墨镜的中国夫妇安静地坐在家长席的白色折叠椅里，目光始终聚焦在典礼台上那个即将接过学位证书的年轻人身上。张艺谋坐在那里，76岁的老人了，头发花白，脸上老年斑明显，身形消瘦，上台阶时需要工作人员伸手搀扶。