為大語言模型頒發「防偽身分證」：Anthropic 開源零知識證明推理系統 FlashProve
Anthropic 攜手學界發表開源零知識證明推理系統 FlashProve，基於 zkSNARK 密碼學架構，能在不洩漏模型權重的前提下為 LLM 推理輸出提供不可偽造的密碼學證明，解決第三方 API 轉發與代理平台的模型替換與篡改問題。
每天 08:00 出刊
AI 日報
COMMUNEIFY · 每日 AI 精選
第 279 期42026 年 11 月星期三
19則重點5個版面17個來源約 4 分鐘讀完
頭條
Mistral AI 正式開源 1.05T 旗艦模型 Mistral Large 4，登陸 Open Math OS
Mistral AI 正式以開放權重發布 1.05T 旗艦模型 Mistral Large 4，具備 100 萬 Token 上下文視窗並主打程式碼與資安推理能力。
Mistral AI原文 ↗
今日看點
01模型發布/更新
Mistral AI
Mistral AI 正式開源 1.05T 旗艦模型 Mistral Large 4，登陸 Open Math OS
Mistral AI 正式以開放權重發布 1.05T 旗艦模型 Mistral Large 4，具備 100 萬 Token 上下文視窗並主打程式碼與資安推理能力。
原文 ↗騰訊微信視覺團隊 (Tencent WeChat Vision)
騰訊微信視覺團隊開源 WeVisOne-VL：2B/4B 視覺多合一模型通吃物體定位與畫素級分割
微信視覺團隊開源 WeVisOne-VL 基礎多模態模型，以 2B/4B 輕量架構整合目標檢測、分割、OCR 與畫素級摳圖。
原文 ↗MongoDB Research
MongoDB Research 推出 LEAF 對齊框架，開源兩款 23M 引數端側文字嵌入模型
MongoDB 發表 LEAF 輕量化嵌入對齊框架，並開源兩款僅 23M 引數的 CPU 端側文字嵌入模型。
原文 ↗02產品發布/更新
Apple
Apple 於 iOS 27.3 開發者預覽版向第三方應用開放 Siri AI 深度控制介面
Apple 在 iOS 27.3 開發者預覽版中開放 App Intents 與 Skills 介面，允許第三方 App 與 Siri AI 深度整合。
原文 ↗Apple
Apple watchOS 27.3 測試版推出 Audio Intelligence：支援環境聆聽摘要與 15 秒語音回溯
watchOS 27.3 測試版為 Apple Watch 帶來 Audio Intelligence 功能，支援 Siri Recap 與 15 秒語音回溯。
原文 ↗JetBrains / GitHub
JetBrains Air 深度整合 GitHub Copilot：支援本機 IDE 與雲端沙箱多 Agent 平行程式設計
JetBrains 與 GitHub 合作將 GitHub Copilot 接入 JetBrains Air，支援本地 IDE 與雲端沙箱中的多 Agent 平行協作。
原文 ↗Vercel
Vercel Security Review 公測上線，同步匯入 DBSC 防範竊密惡意軟體
Vercel 推出 Security Review 公測並匯入 DBSC 裝置繫結連線憑證，全方位強化程式碼推送與工作階段安全。
原文 ↗Anthropic
Anthropic 推出企業託管授權（EMA）：外掛登入自動連線，支援 14 家主流服務
Anthropic 為團隊版與企業版推出企業託管授權（EMA），讓員工登入 Claude 時自動無縫連線企業外掛。
03產業動態
fal / TechCrunch
AI 多模態推論服務商 fal 完成 16.5 億美元 E/F 輪融資，估值翻倍至 160 億美元
AI 多模態推論服務商 fal 宣佈完成 16.5 億美元 E/F 輪融資，估值翻倍至 160 億美元。
原文 ↗Revolut / Guillermo Flor
Revolut 將 2,000 名工程師遷移至自託管 GLM，推論成本僅商業 API 的十分之一
數位銀行巨頭 Revolut 將內部約 2,000 名軟體工程師全面遷移至自託管 GLM 程式碼模型，大幅削減 API 支出。
Canva / Bloomberg
Canva 十年來首度增長放緩，重組 1,271 個崗位並全面轉向 AI 原生產品架構
Canva 經歷十年來首度營收增長放緩，宣佈重組涉及 1,271 個崗位（約佔全體 22%），全力轉型構建 AI 產品架構。
原文 ↗Anthropic / Cat Wu
Claude Code 核心產品負責人 Cat Wu 宣佈自 Anthropic 離職
Claude Code 與 Cowork 核心產品負責人 Cat Wu 宣佈正式自 Anthropic 離職。
04論文研究
Anthropic
Anthropic 開源 FlashProve 密碼學驗證系統：不洩漏權重下數學證明模型輸出身分
Anthropic 發表開源密碼學驗證系統 FlashProve，讓使用者能數學證明特定回覆確實來自指定 AI 模型。
原文 ↗Google Cloud / Mercor
Google 聯合 Mercor 發表實體工程基準 Physical-Engineering’s Last Exam (PLE)
Google 攜手 Mercor 推出 Physical-Engineering’s Last Exam (PLE) 基準與公開競賽，檢驗 AI Agent 在實體工程領域的作業能力。
原文 ↗Google 發表 Agent Swarms 修復 TPU 編譯器成果：自主解決 142 個靜默編譯錯誤
Google 發表論文展示利用 AI Agent 叢集排查並修復 TPU 編譯器中的 142 個致命靜默錯誤。
史丹佛大學 (Stanford University)
史丹佛大學揭露大模型結論「半衰期」：44% 廣受引用的經典研究結論已失效
史丹佛研究者檢視 50 項廣泛引用的 LLM 經典結論，發現高達 44% 已在最新模型中失效，顯現 AI 研究的極短保質期。
原文 ↗阿里巴巴 (Alibaba Group)
阿里巴巴發表 SPAR 自演化 B2B 銷售 Agent：於 1688 平臺提升 15.8% 轉化率
阿里巴巴發表自演化銷售 Agent 系統 SPAR，在 1688 平臺 20 萬商家實測中實現 15.8% 轉化率增長。
05其他分享
Andrej Karpathy
Andrej Karpathy 耗時 2 小時打造 HackerTube：以 Claude Opus 5.5 提煉 20 年社群優質影片
前特斯拉 AI 總監 Andrej Karpathy 利用 Claude Opus 5.5 在 2 小時內開發出基於 Hacker News 社群推薦的獨立影片服務 HackerTube。
原文 ↗NVIDIA
NVIDIA 開源 Auto Ontology：面向 AI Agent 的企業語意層與受控 Text-to-SQL 工具鏈
NVIDIA 開源企業語意層工具 Auto Ontology，為各類 AI Agent 提供可校驗且具出處依據的 Text-to-SQL 查詢能力。
原文 ↗