上周AI资讯#341 - 马斯克败诉OpenAI，Google IO更新，OpenAI解决埃尔德什问题

本周AI领域发生了多项重大事件。首先，埃隆·马斯克对OpenAI及其联合创始人萨姆·奥尔特曼和格雷格·布罗克曼提起的1500亿美元诉讼，在加利福尼亚州奥克兰的联邦陪审团审议不到两小时后被一致驳回。陪审团认为，马斯克的索赔——包括违反慈善信托和不正当得利——已超过诉讼时效（两年和三年），因为他早在2021年就知晓OpenAI转型为营利性结构的行为，却直到2024年才提起诉讼。主审法官伊冯·冈萨雷斯·罗杰斯同意这一观点，并驳回了整个案件。为期三周的审判中，超过20名证人出庭作证，包括微软CEO萨提亚·纳德拉和OpenAI联合创始人伊利亚·苏茨克弗。审判还曝光了对马斯克不利的证据，包括他曾让OpenAI研究人员（如安德烈·卡帕西和伊利亚·苏茨克弗）无偿为特斯拉工作，以及在2017年他曾积极寻求对OpenAI任何营利性结构的唯一控制权，但未成功。马斯克于2018年离开董事会。

判决两天后，OpenAI确认正在准备向SEC秘密提交IPO招股说明书，目标在2026年秋季公开上市。公司正与高盛和摩根士丹利合作，目前私募估值8520亿美元，IPO时可能达到1万亿美元。截至2026年4月，OpenAI年化收入为300亿美元，已筹集超过1800亿美元，尽管仍在以历史性速度烧钱，且未达到内部收入和用户增长目标。CEO萨姆·奥尔特曼希望公司能在9月前准备好上市，但CFO萨拉·弗里尔强调公司不会在做好准备前上市。

Google I/O 2026大会发布了大量AI更新，旨在与OpenAI和Anthropic竞争。主要亮点包括：重新设计的Gemini应用，采用新的“神经表达”设计语言，具有流畅动画和触觉反馈；Gemini 3.5 Flash，一个轻量级前沿模型，成本仅为同类模型的一半到三分之一，现已成为Gemini应用和Google Search的默认模型；Gemini Spark，一个24/7云端个人AI代理，基于Gemini基础模型和Antigravity代理框架，可在手机锁定时继续工作，原生集成Gmail、Google Docs和Workspace；Gemini Omni，一个新型模型家族，可将任何输入（图像、视频、音频、文本）转化为基于现实世界知识的视频输出；Gmail Live，为收件箱搜索添加了对话式AI，支持自然语言语音查询和后续问题。此外，Google还推出了Antigravity 2.0、Pics设计应用，以及将Genie世界模型与街景集成等功能。

在AI科学成就方面，OpenAI于2026年5月20日宣布，其内部通用推理模型推翻了平面单位距离问题中的一个核心猜想。该问题由保罗·埃尔德什于1946年提出，是组合几何中最著名的开放问题之一。80年来，最大化n点间单位距离对的最佳构造一直基于方形网格排列，并推测无法做得更好。ChatGPT证明了这一猜想不成立。菲尔兹奖得主蒂莫西·高尔斯称之为“AI驱动数学的里程碑”，数学家丹尼尔·利特确认这将有资格发表在顶级数学期刊上——这是以往任何AI证明未能达到的。与此同时，Google DeepMind发布了AlphaProof Nexus，一个结合Gemini 3.1 Pro和Lean形式化验证的框架，以仅几百美元每个问题的推理成本，自主解决了353个开放埃尔德什问题中的9个，492个OEIS猜想中的44个，以及一个15年历史的代数几何问题。不过，数学家陶哲轩警告，AI在埃尔德什问题上的整体成功率仍约1-2%，集中在较容易的任务上，真正突破性的数学理论仍超出当前模型能力。

美国《Take It Down Act》于2026年5月19日全面生效，要求在线平台在48小时内移除未经同意的私密图像（包括AI生成的性深度伪造），否则每次违规将面临超过5.3万美元的民事处罚。FTC已向Meta、Google、Amazon、TikTok、X、Snapchat和微软等十多家主要平台发函，要求其提供简易的删除请求流程并移除“已知的完全相同副本”。主要平台表示支持并声称合规。然而，电子前沿基金会、卡托研究所和公共知识组织警告，该删除条款可能导致审查和过度审核。法律也存在技术空白，例如AI工具（如Grok）是否算作“创作者”，以及私人生成的图像是否适用删除条款。

最后，SpaceX于2026年5月20日提交了S-1 IPO招股说明书，目标估值1.75-2万亿美元，计划在纳斯达克以SPCX代码融资750亿美元。文件显示2025年收入187亿美元（同比增长33%），但净亏损49亿美元；2026年第一季度收入47亿美元，净亏损43亿美元，亏损主要来自xAI数据中心的资本支出。据知情人士透露，SpaceX计划在IPO约30天后以600亿美元收购AI编码初创公司Cursor。这一收购动机似乎源于xAI自身产品的糟糕表现：Grok的年化订阅收入约为2.7亿美元，远低于OpenAI的240亿美元和Anthropic的300亿美元；在路透社审查的400多个政府AI用例中仅出现3次；xAI在2025年录得64亿美元运营亏损。内部情况也堪忧：所有11位原始联合创始人已离职，50多名研究人员和工程师跳槽至Meta和Thinking Machines Lab，预训练团队缩减至少数几人，马斯克在3月因Grok落后于Claude Code和OpenAI Codex而下令裁员。此外，xAI的孟菲斯数据中心运行着46台未经监管的燃气轮机，尽管仅获批15台，面临NAACP诉讼，而SpaceX的IPO文件显示计划在三年内再投入28亿美元购买涡轮机。