整理開源與開放權重AI模型的評測重點：Ollama、llama.cpp、ComfyUI等本機部署工具的版本升級檢查，各模型效能與相容性實測比較，以及AI程式代理框架、漏洞揭露與開源供應鏈驗證的實務做法。
開源與開放權重AI模型的更新速度很快，這個主題把本機部署工具（Ollama、llama.cpp、ComfyUI、Open WebUI等）的版本升級檢查、各家模型的效能與相容性實測，以及自架AI程式代理框架的評估方法整理在一起，方便在導入前對照條件。
部署與評測是兩件不同的事：能跑起來不代表適合正式環境，各篇皆附官方版本說明與測試方法，實際導入前仍需依自身硬體與資料條件重新驗證。
Claude 參與的形式化驗證實驗，為 123 個開源函式庫的 239 個測試入口產生 Rocq 證明。了解它證明了什麼、不能代表什麼，以及團隊如何納入程式審查。
Ollama 0.40.9 加入 Phonon 文字轉語音，可從終端試聽或透過 OpenAI 相容 API 串流，並整理硬體、語言、授權、音訊交接與部署限制。
Microsoft Scope 是開源程式代理評測平台，可執行指定任務、依條件檢查成果並保留操作證據。內容涵蓋 SDK 評測設計、重複執行比較，以及部署與判讀時的限制。
程式代理交出能執行的程式碼，仍可能選錯 SDK 或漏掉文件要求。Microsoft Scope 讓團隊用固定任務、成功條件與執行證據檢查工具使用過程，並提醒如何解讀評審結果與部署限制。
Recursive 推出面向程式代理的 Flint，Ollama 預發布版也加入支援。從程式庫任務、Mac 試用入口到基準分數與硬體成本，整理本機程式模型適合的工作與實測方式。
IBM 更新 Granite Speech 5.0 系列，涵蓋多語辨識翻譯、快速轉錄與說話者標記。整理各模型任務、語言限制、效能數據解讀，以及台灣團隊試接前的音檔、部署與個資檢查。
PHP 事件指的是 PHP 官方 10 月 21 日修補的兩個可遠端執行程式碼的重大漏洞（CVE-2026-109618、CVE-2026-109619），OpenAI 模型參與發現，修補版本為 8.5.12、8.4.27、8.3.36、8.2.35。整理受影響範圍、怎麼確認網站實際版本，以及從發現到修補的協調揭露流程。
TorchTPU 讓 PyTorch 工作負載可在 Google TPU 上執行，但少量修改不代表模型能直接搬遷。從運算子支援、數值正確性、效能、雲端成本與退場安排，整理團隊試用前的檢查方式。
DeepSeek 開源推論框架 DeepInfer，公開支援 NVIDIA SM100 與昇騰 950。從模型、軟體版本到 KV cache、負載平衡與維運，部署前要逐項驗證。
Google 研究人員與西北大學研究者提出的 Harness² 論文，探討如何在模型權重不變時，透過 Propose-Probe-Compose 調整提示、工具與記憶設定，並檢視其成本與導入前的驗收方式。
Linux 核心峰會擬取消 Assisted-by 強制標註，但提交者審查與 Signed-off-by 責任不變。拆解提案現況、原規則目的與團隊可用的治理設計。
Open WebUI 0.12.3 為私人訊息與群組頻道加入暫時性端對端加密聊天。了解 MLS 加密範圍、訊息不保存的條件，以及自架部署前的權限、HTTPS、WebSocket、記錄與資料分級檢查。
中國商務部與科技部提出調整 AI 技術出口目錄，並對附件所列技術實施出口前登記。台灣部署者應分辨草案與現行措施，檢查模型授權、取得、更新及替代安排。
Anthropic 自建 Scion 服務超大型程式庫與高頻 AI 代理工作負載，並稱 CI 檢出更快、釋出 25% CPU 容量。了解其架構、數據限制與團隊評估版本控制改造的方式。
Apertus 1.5 加入圖像與音訊理解、思考模式和長上下文。掌握模型能力、推論相容性、授權與使用政策的核對方式，並用相同任務比較新舊版本，判斷是否納入部署。
llama.cpp 0.7.0 加入 LiliCorr 推測解碼與 GLM5-Next MTP 支援。升級前先確認模型、推論後端和編譯條件，再用固定工作負載比較延遲、品質與資源。
Meta Muse Spark Open 是 816B 總參數、42B 啟用參數的開放權重多模態模型。從 Mac Studio 硬體、模型授權、資料治理到本地部署與託管 API，整理團隊導入前的評估方法。
Open WebUI 0.12.1 開放符合 Apps 規格的外部服務加入頻道。從管理者核准權限、頻道成員管理到自架連線設定，整理部署前該檢查的資料可見範圍與維運責任。
ComfyUI 0.40.0 更新前，先對照官方發布內容與既有影片工作流，盤點核心節點、自訂節點、模型、執行環境及輸出設定，再於副本中驗證和規劃回復。
Ollama 0.40.4-rc1 更新 llama.cpp，列出決策模型與 EmbeddingGemma 2 支援更新。拆解底層支援、模型載入與 RAG 向量索引的差異，整理本地部署升級前的相容性檢查。
JetBrains Mellum 2.1 的程式碼修復評測從前代 2% 提升至 47%，但低於 Qwen3.5-9B。內容整理代理工作流程、評測限制、自架格式與導入前的權限及驗證條件。
Anthropic OSS Scanner 為符合條件的開源專案提供免費、定期的 AI 漏洞掃描。報告未經人工審查，維護者仍須重現問題、核對影響並安排修補。
Falcon ASR 有 Hugging Face 示範空間可試用；部署前應確認語言支援、評測邊界、權重與授權是否可取得，以及資料處理和整合成本。
SBOM 不是交一份 PDF 就算完成。驗收時先確認清單對應哪個版本、能否追到直接與間接相依元件，再把已知未知、更新期限與漏洞回應窗口寫進交付條件。
OpenAI公開模型產生的數學手稿與部分形式化證明後，讀者該如何理解Lean檢查結果？本文拆解命題、假設、依賴版本與人類複核，整理可重現的檢查流程。
EmbeddingGemma 2 以 740M 參數整合文字、圖片、影片與音訊嵌入。了解官方 benchmark 的範圍，並用繁體中文資料比較檢索品質、延遲、儲存與部署成本。
Mistral Large 4 開放權重預計月底釋出，但兆級參數不等於一般電腦可跑。從模型規格、GPU與記憶體、授權、資料治理及代理任務測試，整理台灣團隊評估本地部署的重點。
EmbeddingGemma 2 是 Google 推出的 740M 參數開放嵌入模型，可將文字、圖片、音訊與影片映射到共同向量空間。了解它在 RAG 的角色、資源取捨，以及台灣團隊如何用繁體中文資料評估檢索品質。
Musubi Policy 的 PolicyLM-1.7B 是即時內容審核決策模型。從政策門檻、誤判成本到離線回放，整理產品團隊的評估與整合方法。
Cloudflare Clef 與 Clef-flash 將決策模型、Apache 2.0 權重、Workers AI 託管和 Jev 相容介面放在同一條採用路徑。本文整理適合的任務、限制、部署取捨與小規模驗證方法。
Hugging Face Hub 新增 RL Environments 探索入口，以資料集標籤呈現強化學習環境及框架資訊。本文拆解 tasksets、執行框架與評測重現條件，整理研究者採用前的檢查方法。
Aleph Alpha 的 Kolibri 採開放權重與 MoE 架構，但企業主權還涉及資料、硬體、授權、模型能力及維運責任。整理 5 個部署前的查核面向。
llama.cpp 0.6.0 新增 llama_batch_ext 與 llama_process，擴展 token、embedding 與狀態 embedding 的批次輸入方式。本文整理直接使用 libllama 的影響、效能驗證與升級檢查清單。
pwasm 0.2a0 是純 Python WebAssembly runtime，不是瀏覽器內建功能。本文整理它的執行位置、功能、AI 程式沙箱用途，以及效能、安全和整合限制。
Google 自 2026 年 10 月 1 日暫停 OSS VRP 產品漏洞新提交。本文說明公告範圍、AI 報告的驗證難點，以及研究者如何提供可重現、可達且具安全影響的證據。
NASA 與 IBM 公開月球基礎模型、權重和微調工具，提供近 200 萬組多模態月球資料。整理模型評估範圍、TerraTorch 微調流程、授權與成本，以及地球遙測團隊重用前的檢查方式。
Ollama 0.40.0 RC 在 Apple Silicon 上，符合 MLX runtime 支援條件的模型架構會預設使用 MLX。了解執行路徑變更、模型與工作流相容性，以及升級前的測試方法。
BootLoops 把大型語言模型、科學軟體與驗收流程接在一起，讓部分量化計算能重算與比對。理解 30 個積分案例、36 篇稿件的差別，以及團隊導入前該檢查的條件。
Meta 公開 Muse Gadgets 裝置 SDK，支援 ESP32 與 Linux 原型。從開源範圍、配對流程、硬體選擇、資料權限與整合成本，判斷是否適合試作。
Pi Durable 是實驗性 AI 代理框架，透過任務檢查點與持久化儲存恢復未完成工作。內容說明恢復方式、工具重播風險與導入條件。
AstaBrief 以 Qwen3-8B 為基礎，模型卡列出 ScholarQA-CS2 測試集平均 87 分。了解分數的測試範圍、引用限制，以及導入前如何驗收品質、部署與資料治理。
AWS Strands Labs 推出 Strands Decider 2B，讓 AI 代理可用小型模型處理選項判斷與評分。解析適用任務、效能限制、信心分數與導入評估方法。
GitHub Security Lab 的 Fuzzing Taskflow 串接 AI agent、harness、AFL++ 與覆蓋率回饋。整理其適用條件、整合成本與主機執行風險，並說明團隊如何先做小型試跑。
DeepSeek 與華為昇騰開源工具補上算子、矩陣運算、注意力與通信等環節，但 CUDA 程式不能直接搬用。從晶片、CANN 版本到模型工作負載，整理台灣開發者評估遷移成本的關鍵。
Hugging Face Open TTS Leaderboard 以 WER／CER、RTFx、TTFA 與 SIM 比較語音模型。本文說明各指標能回答什麼、中文與多語言成績怎麼看，以及如何依產品文本、延遲、硬體和授權需求自行驗證。
Holo4 電腦操作代理能跨圖形介面、程式碼與工具操作。整理基準限制、版本授權、部署風險與小規模評估方法。
Ollama 0.35.0 RC 加入 System One 評分 API，可回傳選項機率與量尺分數。文章整理 choice、noul、score 的用途、Nimble 與 MLX 限制，以及試用前的驗證方式。
Nemotron 3 Diarization 可為最多八位說話者標記發言區段，但不會自行轉出逐字稿或辨認真實姓名。本文整理它的串流延遲、整合方式、授權與實測重點。
ComfyUI v0.37.4 官方發布頁未列逐項改動。透過 6 個檢查項目核對版本差異、盤點節點與執行環境、比較輸出並保留回退方式，再決定是否更新。
ComfyUI最新為MiniMax H3的Video VAE加速，官方數據編碼最高2.2倍、解碼1.4至2.7倍。文章拆解編碼、採樣、解碼與轉碼各占多少時間，並說明如何自行測試判斷升不升級值得。
llama.cpp 0.5.0 已發布，更新涵蓋 CUDA、Metal 等後端調整、正確性修正與模型支援。了解如何核對硬體、模型格式及升級前後測試。
ComfyUI 0.37.1 相對 0.36 的版本差異、自訂節點與模型路徑相容性風險，以及升級前備份、代表性工作流回歸測試、判斷標準與回退步驟的完整檢查清單。
Isaac ROS 5.0 把 CUDA 加速套件、ROS 2 Lyrical、AI agent 技能與 Jetson 部署串起來。從架構、能力、硬體相容到台灣實體AI專案成本，整理導入前要檢查的條件。
小米MiMo-V2.6-Pro具備1.02T參數與1M上下文，但本地部署需多GPU與分散式架構。比較API、雲端租用與自建叢集的成本與資料治理，判斷企業該不該組建叢集。
AWS開源 Strands Harness，預先整合工具、記憶、工作階段與上下文管理。內容拆解它和 Strands SDK、AgentCore 的差異，並檢視 28% 詞元成本基準測試能否外推到台灣開發者的代理專案。
Hugging Face 讓 Transformers 可載入部分 llama.cpp 使用的 GGUF 量化模型，但硬體、量化核心、模型架構與服務負載仍決定本地部署是否適合。
Open WebUI 0.11.4 縮小 slim 與標準映像檔，比較與前版下載儲存差異，說明台灣自架環境相容性與隱私責任，並提供升級前檢查清單與回滾步驟。
Qwen-Image 2.1標示的7B只是視覺生成組件而非整套硬體需求。整理ComfyUI工作流設定、顯存與量化限制、開放權重授權規定，並比較本地部署與雲端服務的取捨，附測試矩陣協助判斷是否值得導入。
ComfyUI 0.36新增模型藍圖並重整子圖分類，從健康衛教圖卡與照護素材流程比較管理、遷移、排錯與人工審核成本，協助台灣創作者評估升級。
混合推論不等於資料零外傳。從 Perplexity、純雲端助理與 Ollama 本機部署的資料流、隱私、能力、網路、成本及臺灣個資責任，整理實際選擇方法。
NVIDIA、Perplexity與llama.cpp帶動本地AI新一波發展。從能力、硬體、成本、隱私與台灣可用性比較本地AI和雲端助理，找出適合自己的使用方式。
Ollama 0.34 RC 已加入 ChatGPT Desktop、Codex 訊息與搜尋限制相關變更，但正式版狀態仍需核對。本文比較功能成熟度、作業系統、資料流向與升級檢查，協助本地部署使用者選擇。
Hugging Face以Gradio Workflow重建AUTOMATIC1111部分流程，本文比較三者的上手難度、節點彈性、部署方式與隱私取向，協助創作者選擇AI生圖工作流。
DeepSeek V4.1 Flash 以低成本與高速度吸引開發者，但仍在內測；本文比較它與 GPT-6 Astra 的推理、多模態、價格、台灣可用性與本地部署門檻。
比較 ComfyUI 雲端版與本機安裝的費用、人物一致性、修改彈性與商用授權，並說明健康素材上雲前的隱私評估，協助台灣創作者依專案選擇方案。
祖克柏發表6500字宣言主張AI應開源、反對權力集中在少數企業或政府，Meta同步推出開源模型Muse Glimmer與進階模型Muse Spark 1.2，AI安全機構隨即質疑此舉風險。
Coldcard冷錢包41分鐘被轉出逾千枚比特幣，根因是建置旗標MICROPY_HW_ENABLE_RNG被誤判為啟用，讓亂數產生器悄悄降級成可預測版本，裝置本身並未遭入侵。拆解事件全貌與3個可執行檢查點，防止同樣的靜默降級發生在你的系統。
每篇文章都有具名作者，數字、引述與連結由 APPI News 編輯部逐項查核。這個頻道的專業審閱者是張饒輝 Lightman Chang，負責檢視內容的說法有沒有誤導。文章頁上會分別標示作者、審閱者與查核者。
