马斯克诉OpenAI案败诉、Google I/O 2026全面更新、AI破解80年数学难题

1. 马斯克诉OpenAI案败诉，OpenAI准备上市

2026年5月18日，加州奥克兰联邦陪审团一致驳回了埃隆·马斯克对OpenAI、Sam Altman和Greg Brockman提起的1500亿美元诉讼，审议时间不到两小时。九人陪审团认定，马斯克提出的违反慈善信托和不正当得利主张均已超过诉讼时效（分别为2年和3年），因为马斯克早在2021年就已知悉OpenAI向营利性结构转型，却直到2024年才提起诉讼。主审法官Yvonne Gonzalez Rogers同意该结论，全案驳回。

为期三周的庭审传唤了包括微软CEO Satya Nadella和OpenAI联合创始人Ilya Sutskever在内的20多名证人。庭审中暴露出对马斯克不利的证据：他曾让OpenAI研究员（包括Andrej Karpathy和Ilya Sutskever）无偿为特斯拉工作，且于2017年寻求对OpenAI任何营利性结构的绝对控制权，后于2018年离开董事会。

判决两天后，OpenAI确认正准备向SEC秘密提交IPO招股说明书，目标2026年秋季上市。公司已聘请高盛和摩根士丹利，目前私募市场估值8520亿美元，IPO时估值可能达到1万亿美元。截至2026年4月，OpenAI年化营收为300亿美元，累计融资超1800亿美元，但仍以历史速度烧钱，且未达到内部营收和用户增长目标。CEO Sam Altman希望9月前完成上市准备，但CFO Sarah Friar强调公司不会在准备充分前上市。

2. Google I/O 2026：Gemini全面更新，推出24/7个人AI助手

2026年5月19日，Google I/O大会发布多项AI更新，直接对标OpenAI和Anthropic。核心发布包括：

• 全新Gemini应用：采用“Neural Expressive”设计语言，具有流畅动画和触觉反馈。
• Gemini 3.5 Flash：轻量级前沿模型，成本仅为同级模型的1/2至1/3，现为Gemini应用和Google Search的默认模型；更重的Gemini 3.5 Pro下月发布。
• Gemini Spark：基于Gemini基础模型和Antigravity代理框架的24/7云端个人AI助理。运行在专用虚拟机上，手机锁定时仍可工作；原生集成Gmail、Google Docs和Workspace（通过MCP协议）；用户可通过专属Gmail地址直接给Spark发邮件。
• Gemini Omni：新模型系列，可接受图像、视频、音频、文本任意输入，并生成基于真实世界知识的视频输出。首发Omni Flash可渲染10秒片段，即将在Gemini应用、YouTube Shorts和Google Flow中推出，API数周后发布，更强版本Omni Pro后续推出。
• Gmail Live：为收件箱搜索添加对话式AI，支持自然语言语音查询和追问。
• Antigravity 2.0：推出桌面应用、CLI和SDK，用于编排多Agent编码工作流；新增100美元AI Ultra套餐（额度为5倍），最高档从250美元降至200美元。
• Pics：由Nano Banana 2驱动的AI设计应用，集成于Workspace，对标Canva和Claude Design。
• Genie 3世界模型：集成Google Street View，可模拟真实环境并支持天气和光照变化，用于机器人训练和消费级应用，先向美国Ultra订阅用户开放。

3. OpenAI通用推理模型破解80年数学难题

2026年5月20日，OpenAI宣布其内部通用推理模型否定了“平面单位距离问题”（Planar Unit Distance Problem）的核心猜想。该问题由Paul Erdős于1946年提出，是组合几何最著名的开放问题之一。80年来，人们认为在n个点之间最大化单位距离对的最佳构造无法超越正方形网格布局，但ChatGPT证明可以做得更好。

菲尔兹奖得主Timothy Gowers称其为“AI驱动数学的里程碑”，数学家Daniel Litt确认该成果可发表于顶级数学期刊——此前尚无任何AI证明达到这一标准。

同日，Google DeepMind发布AlphaProof Nexus，一个将Gemini 3.1 Pro与Lean形式化验证相结合的新框架。