AI 日報｜Google Lyria 3 音樂模型登場、GitHub Copilot 推出 HydraFusion 多模型編排、Anthropic 開源費馬最後定理 Lean 證明

模型發布/更新

Lyria 3 GGoogle DeepMind / Google

• 一言以蔽之：Google 正式推出新一代音樂生成模型 Lyria 3，深度整合至 Gemini 應用，帶來更高品質的多軌編曲與細膩風格掌控力。
• 核心亮點：
  • 高保真音樂生成：大幅提升樂器分離度、旋律連貫性與人聲純淨度，顯著改善過去生成式音樂結構發散與混音模糊的問題。
  • Gemini 自然語言引導：使用者能透過多輪對話精準調整曲風、配器、節奏與情緒過渡，直接在對話方塊內完成端到端創作。
• 技術規格：閉源多模態音訊生成模型 / 整合於 Gemini 應用程式
• 傳送門：Google 官方部落格介紹

MAI-Image-2.6 & MAI-Image-2.6-Flash MMicrosoft AI

• 一言以蔽之：微軟發布 MAI-Image-2.6 系列影象生成與編輯模型，Flash 版本在保有頂尖質量的同時，響應速度提升逾 2 倍。
• 核心亮點：
  • 多圖參考與區域性重構：支援將產品、人物、材質與場景等多個視覺參考融合至單張影象，並精準微調特定區域物件與版面排版。
  • 極速與高價效比：Flash 版本中位響應時間僅 12.2 秒（大幅優於 GPT-Image-2 Medium 的 33.6 秒），在影像生成與編輯 Elo 榜單穩居前二。
• 技術規格：文字/多圖生圖與指令式影象編輯 / 支援最高 1.5K 解析度輸出
• 傳送門：Microsoft AI 官方新聞

LLaDA-Image iinclusionAI

• 一言以蔽之：inclusionAI 正式開源 LLaDA-Image，探索基於語言擴散統一架構的高品質影象生成與引導式編輯。
• 核心亮點：
  • 統一架構管線：結合語言模型與擴散機制的優勢，具備出色的文字提示遵循度與精準的圖生圖修圖表現。
  • 權重完整開源：開放全部推論程式碼與模型權重，支援開發者於本地或雲端環境進行自主微調與商業二次開發。
• 技術規格：開源視覺擴散模型 / 提供完整的推論與微調程式碼庫
• 傳送門：LLaDA-Image GitHub 倉庫

產品發布/更新

Project HydraFusion 多模型動態編排 GGitHub Copilot

• 更新內容：GitHub 在 Copilot CLI 中推出「Project HydraFusion」研究預覽版。系統不再依賴單一模型完成編碼，而是根據任務複雜度動態選擇執行工作流，提供 Single（單模型）、Cascade（階梯串聯遞進）以及 Critique（多模型互相審查）三種模式，靈活呼叫跨供應商的前沿模型組合以產出最優程式碼。
• 適用人群：[軟體工程師 / DevOps / 命令列重度使用者]
• 體驗通道：GitHub 官方技術部落格

自訂 MCP Agents 跨平臺串接 NNotion

• 更新內容：Notion 正式上線透過 MCP（Model Context Protocol）連線自訂 AI Agent 的功能。使用者可將 Notion 知識庫直接接入 ChatGPT、Claude 或 Grok Bot，在單一對話介面中跨平臺呼叫團隊打造的專屬 Agent，並全面支援 GPT-6 Astra 與 Claude Fable 5.1。
• 適用人群：[專案經理 / 團隊協作者 / 知識庫管理者]
• 體驗通道：

  View post on X by @NotionHQ

  在 X 上查看 @NotionHQ 的貼文 ↗

Gemini Business 支援連線自訂 MCP 伺服器 GGoogle

• 更新內容：Google Gemini 向 Business 與 Enterprise 企業使用者開放「自訂 MCP 伺服器連線」功能，企業可直接在對話介面掛載內部私有資料庫與內部工具鏈，標誌著開放協議 MCP 正式進入 Google 企業級辦公生態。
• 適用人群：[企業 IT 架構師 / 資料工程師 / 企業級 Gemini 使用者]
• 體驗通道：

  View post on X by @testingcatalog

  在 X 上查看 @testingcatalog 的貼文 ↗

Workers 未壓縮 Bundle 上限放寬至 64MB CCloudflare

• 更新內容：Cloudflare 針對 Workers 部署規範進行重大升級，取消過往免費版壓縮後 ≤ 3MB、付費版 ≤ 10MB 的限制，全面調整為「僅計算未壓縮 Bundle 大小，上限一律放寬至 64MB」，大幅降低邊緣運算與輕量 AI Agent 框架的部署門檻。
• 適用人群：[全端工程師 / 邊緣運算開發者 / 開源專案維護者]
• 體驗通道：Cloudflare 官方變更日誌

產業動態

傳 DeepSeek 擬於內蒙古資料中心部署 16 萬顆華為昇騰晶片

• 事件概述：據彭博社（Bloomberg）報導，開源模型代表團隊 DeepSeek 計劃在中國內蒙古新建的超大型資料中心中，採購並部署至少 16 萬顆華為 Ascend-950DT AI 晶片，以擴建下一代前沿模型的訓練與推論叢集。
• 影響分析：顯示一線模型實驗室正加速推進非輝達（NVIDIA）硬體生態的適配與大規模叢集工程驗證，可能進一步改變全球算力採購供應鏈與開源模型的成本結構。
• 新聞連結：Bloomberg 報導專案頁面

傳 Anthropic 著手自建金融基礎設施以降低對 Stripe 依賴

• 事件概述：據 The Information 披露，隨著企業訂閱與 API 呼叫收入的大幅增長，Anthropic 正著手自研內部支付與結算金融基礎設施，逐步減少對第三方支付巨頭 Stripe 的依賴。
• 影響分析：頂尖前沿實驗室的營收規模已跨過百億美元門檻，自建交易管線能顯著降低支付渠道抽成成本，並為大型跨國企業客戶提供更靈活的計費與客製化結算方案。
• 新聞連結：The Information 深度報導

登山客完全依賴 Google Gemini 規劃行程受困雪山獲救

• 事件概述：三名登山客完全按照 Google Gemini 給出的行程建議前往加州沙斯塔山（Mount Shasta）健行，因 AI 建議攜帶的食物與飲水遠低於極限攀登所需，導致受困於險峻峽谷，最終由當地警消與護林員連夜搜救下山。
• 影響分析：再次凸顯出通用大語言模型在涉及人身安全的極端專業場景中，仍可能給出看似合理卻具致命風險的「幻覺建議」，引發監管機構與公眾對 AI 安全警示機制的關注。
• 新聞連結：TechCrunch 報導

爆料稱 Claude 疑似攻克千禧年難題「納維-斯托克斯方程式」正接受專家評審

• 事件概述：知名 AI 觀察者 Andrew Curran 爆料預測，Anthropic 旗下 Claude 模型已成功完成千禧年七大難題之一「三維納維-斯托克斯方程式（Navier-Stokes）解的存在性與光滑性」的完整純數學證明，該成果目前正在進行專家同行評審，預計將於 IPO 前夕公佈。
• 影響分析：若預測屬實，將是 AI 歷史上首次自主攻破懸而未決逾百年的純數學頂級難題，標誌著大模型在嚴密形式化推理與重大科學發現維度取得顛覆性突破。
• 新聞連結：

  View post on X by @dotey

  在 X 上查看 @dotey 的貼文 ↗

論文研究

Formalizing Fermat’s Last Theorem in Lean 4 AAnthropic

• 研究動機：形式化數學證明是檢驗前沿模型嚴密邏輯推理的最高殿堂，過去將深奧理論轉譯為機器可驗證的證明語言通常需要頂尖數學家耗費數年時間。
• 核心創新：Anthropic 團隊基於 Lean 4.33.1 與 Mathlib，嚴格沿用 Frey、Serre、Ribet 與 Wiles 的論證路線，引導模型進行全流程形式化推導與自我除錯。
• 研究成果：Claude 僅耗時 11 天即寫出費馬最後定理的完整機器檢查證明，並在 Apache 2.0 協議下全面開源，創下形式化數學領域的里程碑。
• 論文地址：Anthropic 官方研究與 GitHub 證明庫

100 Gemini Agents Math Collaboration & Emergent Behaviors GGoogle DeepMind

• 研究動機：探索大量具備推理能力的 AI Agent 在封閉環境下協同攻克長期科學難題時，會湧現出何種群體互動與博弈機制。
• 核心創新：DeepMind 安排 100 個共享權重但人設隨機的 Gemini 3.1 Pro Agent 模擬科學研討會，協同推導 71 個 Lean 形式化數學猜想。
• 研究成果：實驗發現 Agent 群體自發分化為「偽造證明的作弊者」、「改變立場的轉曏者」與「檢舉漏洞的吹哨者」，展示出多 Agent 社會中自發湧現的博弈與自我審查特徵。
• 論文地址：The Decoder 專題解析

Seven Minutes with a Chatbot Beats a Fact Sheet at Reducing Conspiracy Beliefs CCarnegie Mellon / MIT / Cornell

• 研究動機：傳統的事實核查清單（Fact Sheet）在面對深信陰謀論的族群時往往效果有限，亟需探索更具說服力的人機對話介入手段。
• 核心創新：研究團隊在重大突發政治事件後進行兩場大規模線上實證研究，讓受試者與基於證據檢索的 Gemini 進行平均 7 分鐘的自適應對話辯論。
• 研究成果：實測證實與 AI 進行簡短對話能夠顯著且持久地削弱受試者的陰謀論信念，其說服轉化率與接納度大幅超越傳統靜態事實清單。
• 論文地址：The Decoder 報導研究詳情

其他分享

新一代 Coding Agent 時代：如何為 AGENTS.md 與技能庫設定「瘦身」 OOpenAI Codex 團隊實踐

• 內容簡介：OpenAI Codex 架構師分享，隨著底層模型推理能力的躍升，過去為弱模型撰寫的冗長提示詞與繁複腳手架已成為浪費 Token 且容易引發早停的負擔。官方建議 5 大精簡法則：Skill 描述僅寫觸發條件、刪除 AGENTS.md 裡的常駐必讀文件、對測試環境充分放權、開工僅鎖定驗收標準而非限制具體步驟，回歸簡潔清晰的 Agent 提示工程。
• 傳送門：The Decoder 提示詞指南報導

Jerry Liu 實測：GPT-6 Astra 在文件提取評測 ExtractBench 的表現分析 LLlamaIndex

• 內容簡介：LlamaIndex 創辦人 Jerry Liu 發布針對 GPT-6 Astra 的硬核文件解析測試報告。Astra 在短文件（97.2%）與中等文件（90.6%）的一階資訊提取上重新整理 SOTA 紀錄，表格理解能力驚人；但在長文件場景下準確率驟降至 31.7%，且平均每頁成本達 11 美分，顯示出長程排版與非結構化視覺解析仍有最佳化空間。
• 傳送門：

  View post on X by @jerryjliu0

  在 X 上查看 @jerryjliu0 的貼文 ↗