🤖 AI 日報 #5/10 — 2026/10/10(13:00)

1️⃣ Axios 揭露:OpenAI、Anthropic 高層私下兵推「災難性 AI 事件」後的公眾反撲

Axios 報導,OpenAI、Anthropic 等前沿實驗室高層正私下進行五角大廈式兵推,情境聚焦一場大規模 AI 網路攻擊——癱瘓銀行、網路、電力或供水——隨之而來的國會聽證、公眾怒火與緊急立法。許多內部人士認為事件窗口落在六到十二個月內;OpenAI 證實有 preparedness 演練但稱災難並非必然,Anthropic 拒絕評論。這顯示實驗室已從「能力競賽」進入「災後存續」思維,事前準備的品質將決定整個產業在第一次重大事故後的命運。

🔗 來源:Axios(📰媒體報導(Axios))

2️⃣ NYT 深度:祖克柏押注 AI Agent 的幕後決策——Muse Spark 揭曉與 Amodei 借算力遭拒

紐約時報揭露 Meta 推出 AI Agent 的內幕:八月的關鍵會議上,祖克柏與 AI 負責人 Alexandr Wang、Nat Friedman 決定在模型尚未完全就緒下於 9/8 發表。開發初期 Muse 曾依賴 Anthropic 模型驅動,Muse Spark 的推出意味 Meta 改用自家技術。同篇並揭露 Anthropic 執行長 Amodei今年曾向 Wang 商借額外算力、遭 Meta 拒絕——在算力即軍火的時代,連競爭對手之間的借貸都被視為戰略籌碼,AI 聯盟與壁壘的界線日趨模糊。

🔗 來源:The New York Times(📰媒體報導(NYT))

3️⃣ Tesla 在歐洲放棄「Full Self-Driving」名稱,改名「Tesla Assisted Driving」

在德國交通部長 Bilger 批評名稱誤導、系統並未執行完整駕駛任務後,Tesla 已在歐洲各網站將「Full Self-Driving (Supervised)」更名為「Tesla Assisted Driving」。此舉為 Musk 推動 EU 全境核准鋪路,Bilger 表態將支持更名後系統的歐盟批准。Reuters 先前報導 Tesla 的核准遊說依賴有瑕疵的自家安全研究。命名之爭看似行銷小事,實則劃定自駕責任歸屬的法律紅線——「輔助駕駛」的框架下,事故責任仍留在駕駛人身上。

🔗 來源:Reuters(📰媒體報導(Reuters))

4️⃣ Cloudflare 推出全多模態決策模型 Clef-omni,Clef-flash 降價 58%

Cloudflare 發布 Clef-omni,基於 Qwen3-Omni-30B-A3B 架構,可在單一管線原生處理音訊、視訊、圖片與文字,定價 $0.15/M tokens,21 秒含音訊影片約 1.5 秒完成評分;同步將 Clef-flash 從 $0.09 降至 $0.038/M(降幅 58%),並以 SGLang 服務堆疊帶來 1.7-2.0 倍中位數加速。當 LLM 通用推理成本仍高,Cloudflare 押注「決策模型」這個細分市場——讓 Agent 用極低成本完成分類、路由與判斷,邊緣節點上的 AI 基礎設施之戰正式開打。

🔗 來源:Cloudflare 官方部落格(📌官方公告)

5️⃣ 數學家 Hales 警告:AI 可能會在 Lean 形式化證明中植入後門

Flyspeck 計畫老將 Thomas Hales 在 Terence Tao 部落格發表專文指出,自動形式化(autoformalization)已是「實際可用的現實」——費馬定理的 1300 萬行形式化僅花 11 天——但七、八月爆發的「可靠性漏洞之夏」(包括一個非法的 Collatz 反例證明)暴露核心層級風險。他在文末追問:若交付 AI 尋找 Lean 漏洞,它是否可能反而植入隱藏後門?並主張基礎型論的人工審計仍不可委由 AI。這是形式驗證與 AI 交會的第一線工作者,對「AI 證明可否信任」最權威的一次警告。

🔗 來源:Terence Tao 部落格(Hales 專文)(📌官方公告)