Termexo v0.10.4 把 Grok Build 拽進 AI 編程工作臺，順手修掉"會話改了半天卻顯示 0"的尷尬

AI資訊AI新閒資訊正文Anthropic 殺手級驗真系統 FlashProve 正式開源：17 秒精準戳破“套殼模型”，驗身速度飆升 5000 倍發布於AI新閒資訊時間 :Nov 4, 2026閱讀 :1分鐘人工智能開源生態的繁榮在帶來便利的同時，也催生了層出不窮的“套殼模型”現象——部分開發者或機構將開源模型稍作包裝，甚至偷換權重、篡改輸出，便對外宣稱是自主研發的全新模型。為了從根源上打擊這種行業亂象，人工智能明星企業Anthropic近日正式推出並開源了全新的大模型可證明推理系統 ——FlashProve。該系統憑藉底層的密碼學技術，實現了對模型真實身份的精準驗真，為大模型生態的透明化與合規化樹立了全新標杆。技術硬核解析:基於 zkSNARK 的三步驗真閉環作為一款主打“驗真”的系統，FlashProve的核心技術路線摒棄了傳統需要獲取龐大模型權重或重新完整跑一遍模型的繁瑣流程，而是創新性地引入了零知識證明 zkSNARK 技術。整個驗證過程精簡為高效的三步閉環:離線生成權重唯一承諾 ID: 在模型部署前，系統會為其生成一個獨特的密碼學承諾標識（Commitment ID），作為該模型不可篡改的“數字身份證”。在線生成推理密碼學證明: 當大模型在雲端處理用戶請求並輸出結果時，系統會同步生成對應的密碼學推理證明。普通 CPU 端17秒快速驗真: 驗證方無需調取模型的高昂權重，也無需重複運行模型，僅需在一臺普通的 CPU 終端上耗時17秒，就能對密碼學證明進行完整解析。這一突破性的設計，不僅能100% 精準驗證大模型的輸出是否確實由指定的 condamned 目標模型生成，還能徹底杜絕任何偷換模型、篡改輸出等投機倒把的套殼掉包行為。更值得一提的是，該系統的底層安全性設計經過嚴格推演，具備能夠抵禦未來量子攻擊的強悍防護能力。軟硬件效率突破:單張 H100支撐4000億參數

AI資訊AI新閒資訊正文微軟為Outlook引入小型AI模型，優化郵件搜索排序發布於AI新閒資訊時間 :Nov 4, 2026閱讀 :1分鐘微軟正在為Outlook搜索引入一款專用小型語言模型，通過優化搜索結果排序，提高郵件檢索的準確性和相關性。據悉，該模型採用精簡版模型排名器（Reranker）架構，通過更大型模型的監督訓練，在控制計算資源消耗的同時優化搜索結果。目前，微軟正在內部測試該模型，並表示早期離線測試結果令人鼓舞。與能夠理解自然語言指令的AI搜索不同，此次模型主要負責對現有搜索結果進行重新排序，並未涉及自然語言搜索能力。微軟展示的測試對比顯示，新模型能夠改善搜索結果相關性，減少無關郵件幹擾。近年來，微軟持續將AI融入Outlook，包括Copilot郵件撰寫、會議衝突自動處理等功能。相比直接面向用戶的生成式AI，此次搜索模型更側重底層檢索效率，通過輕量化技術優化高頻使用場景，也體現出微軟正在將AI能力從內容生成延伸至傳統軟件功能的性能優化。相關推薦微軟給新版 Outlook"瘦身"：10 月全球停用 Copilot 主題，重新押注聊天入口據 Windows Latest 披露，微軟計劃在 2026 年 10 月中下旬全球撤下新版 Outlook 的 Copilot 主題功能，覆蓋 Windows、macOS 新版 Outlook 及網頁版 Outlook.com。該功能允許用戶輸入描述或選擇現成方向，由 Copilot 生成整套視覺風格，整體更換軟件外觀。此次調整意味著這項 AI 界面裝扮能力將被下架。Oct 13, 2026238.9k微軟押注自研Maia芯片： 2027 年鋪到吉瓦級，納德拉稱"對自家硅最大一賭"微軟計劃將自研Azure Maia AI芯片從實驗室推向主舞臺。高管古思裡稱，2027年起以多吉瓦級規模部署Maia，使其成為各產品線主要推理系統。

教育業務負責人克里斯·菲利普斯明確：從幼兒園到高三的學生賬戶，谷歌搜索、Gemini 聊天機器人、Gemini Notebook 以及谷歌課堂裡的 Gemini 功能，默認一律關閉，必須靠學校管理員手動開啟。換句話說，搜索的開關握在管理員手裡——但一旦打開搜索，內嵌的 AI 能力也跟著放行。

比起 8 月底推出的 preview 版，這回不僅顯著擴大預訓練與後訓練規模，還首次引入視覺能力——能結合感知、推理與工具調用，做圖像處理、圖表分析與數學視覺推理。更難得的是 Hy4 首次支持"電腦操作"，可混用命令行與圖形界面；騰訊還針對 Blender、CAD 等專業軟件及跨應用長程任務做了專項訓練，打磨規劃執行。

Tencent’s WeChat Vision team has released WeVisOne-VL, an open vision language model in 2B and 4B sizes. The WeVisOne-VL vision language model handles detection, referring, counting, pointing, OCR, segmentation and alpha matting in one model.

11 月 4 日，YouTube 把緩解這樁麻煩的"替換歌曲"（Replace song）工具推向全球創作者——它此前已在美國試水。操作邏輯很直接：當創作者收到音頻版權申訴，工具會即時生成四首獨特的免版稅器樂背景音樂，用來替換那段受版權保護的音頻；替換一旦完成，對應的 Content ID 聲明便自動撤銷。