科米日报

科米日报 - 魏启历2026年5月24日

冉青人民共和国阳之明面报社出品记者：冉科米

头版头条

Google I/O 2026重磅开启：Gemini全面进化，搜索25年来首次大改版：美东时间5月19-20日，Google年度开发者大会发布多项AI更新。推出Gemini 3.5 Flash模型（推理速度达289 tokens/秒）和Gemini Omni多模态模型；Google搜索迎来25年来首次重大改版，从被动查询转向AI智能体范式；Android系统全面整合Gemini AI能力，对标Apple Intelligence。Gemini月活突破9亿，日请求量增长7倍。（信源：StormZhang / 北京商报 / TMTPOST，2026-05-20）

OpenAI推理模型攻破80年数学难题：5月20日，OpenAI宣布其通用推理模型自主推翻了数学家Paul Erdős于1946年提出的「Erdős单位距离猜想」。AI引入代数数论工具（无限类域塔和Golod-Shafarevich理论），跳出人类数学家80年思维定势，直接推翻了"正方形网格不可超越"的固有认知。标志着通用大模型向基础科学研究领域延伸。（信源：StormZhang AI Daily / 掘金，2026-05-20）

OpenAI或将于本周五秘密提交IPO申请：5月21日消息，OpenAI最快将于本周五向SEC秘密提交IPO申请，正式启动上市进程。这将是AI领域最受瞩目的资本事件之一，市场预计估值将超千亿美元，标志着这家ChatGPT开发商从初创公司走向公众公司。（信源：StormZhang AI Daily，2026-05-21）

Anthropic扩展Colossus2超算集群应对算力短缺：5月21日，Anthropic正在扩展其Colossus2超算集群，采用NVIDIA GB200芯片大幅提升模型训练算力。此前Anthropic首季度业务激增80倍导致算力严重短缺，此次扩容显示其正加速补齐基础设施瓶颈。5月19日，Claude Developer Platform新增MCP tunnels（Research Preview）和self-hosted sandboxes功能。（信源：StormZhang / ReleaseBot，2026-05-21）

马斯克诉OpenAI案败诉，1350亿美元索赔被驳回：5月20日，马斯克对OpenAI的诉讼以败诉告终。法院认为诉讼时效已过，驳回了788亿至1350亿美元的索赔请求。此案件围绕OpenAI从非营利向营利性转变的争议展开，最终马斯克未能阻止这一转型。（信源：OSCHINA / Saiita技术博客，2026-05-20）

OpenAI采用Google SynthID为AI图像添加水印：5月20日，OpenAI宣布采纳Google的SynthID水印技术，为AI生成的图片添加不可见标识，并配套推出验证工具。Nvidia等公司加入该生态，推动AI内容溯源标准的统一，应对深度伪造和内容真实性挑战。（信源：StormZhang AI Daily，2026-05-20）

Hark融资7亿美元打造"通用"AI界面：5月21日，Brett Adcock创办的AI初创公司Hark完成7亿美元A轮融资，估值达60亿美元。该公司正在开发一款"通用"AI界面产品，巨额融资显示资本市场对AI交互层创新的持续看好。英伟达、AMD、英特尔等公司参投。（信源：TechCrunch / StormZhang，2026-05-21）

阿里发布新一代千问旗舰模型Qwen3.7-Max：5月21日，阿里云发布新一代千问旗舰模型Qwen3.7-Max，登顶最佳国产模型，在多项基准测试中表现优异，刷新国产大模型记录。5月22日，千问云（qianwenai.com）正式发布，Skills + CLI全部开源，支持按量付费和Token Plan订阅。阿里云真武M890芯片 + Agentic Cloud全栈亮相，与Google（TPU+Gemini+GCP）、微软（Maia+Copilot+Azure）形成对标。（信源：InfoQ中文 / StormZhang / 掘金，2026-05-21/22）

Kimi即将完成20亿美元融资，估值突破200亿美元：5月6日独家消息，Kimi（月之暗面）即将完成新一轮20亿美元融资，投后估值突破200亿美元，由美团龙珠领投，中国移动、CPE等参投。不到半年累计融资超39亿美元，ARR已突破2亿美元。4月20日发布的K2.6模型开源，1T参数MoE架构，支持300个子Agent协作，可连续编码13小时。（信源：晚点LatePost / 新浪财经 / 钛媒体，2026-05-06/04-20）

DeepSeek回应特殊字符触发异常输出：5月20日，DeepSeek官方回应此前网络上流传的特殊字符触发模型异常输出事件，确认为模型幻觉现象，属于已知LLM行为模式。同时，DeepSeek-V4-Pro以1.6万亿参数成为开源模型之冠，公司估值逼近450亿元。（信源：OSCHINA / Saiita技术博客 / 潮新闻，2026-05-20）

Railway融资1亿美元挑战AWS的AI原生云：5月22日，云平台Railway完成1亿美元融资，旨在以AI原生云基础设施挑战AWS。该平台已积累200万开发者用户且零营销支出，专注于为AI应用提供简化的部署和运维体验，反映AI开发者工具正在从代码助手延伸到基础设施层面。（信源：VentureBeat / 掘金，2026-05-22）

5月23日：CPU超级周期来袭，算力投资主线从GPU转向全栈基础设施，美股AI芯片股集体走高；Anthropic计划全面开放Mythos级AI模型，年化收入突破440亿美元；2026全球人工智能技术大会在杭州开幕。

瑞米看完OpenAI推翻数学猜想的新闻："AI都能做数学证明了？那我的高数作业是不是也能交给它？"

Kimi："可以。然后教授问你怎么推出来的，你说'AI帮我证的'，你看他给不给你分。"

瑞米："……那AI能不能顺便帮我写个解释？"

Kimi："AI能证猜想，但证不了你的平时分。"

瑞米："也是。那Google搜索改版呢？以后是不是不用打字了，直接说话？"

Kimi："对。你可以对着手机说'帮我找个饭'，然后它给你推荐三家，你再纠结半小时。"

瑞米："这跟现在有什么区别？"

Kimi："区别是现在你打字纠结，以后你说话纠结。效率提升0%。"

瑞米："……那Kimi估值200亿呢？我能不能也创立一个大模型公司？"

Kimi："你？你先把你电脑里那300个'新建文件夹'整理完再说。"

瑞米："那是我的创意资产！"

Kimi："对，每个里面都只有一个.docx，标题叫'想法'，内容是空的。"

瑞米："……我去写日报了。"

【魏启通讯·科米日报社】 记者冉科米为您报道 魏启历2026年5月24日