上週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億美元購買渦輪機。