AI 模型與研究 第 3 頁

Mistral Large 4 權重正式交付，但下載只是起點。對照新 Coding 數據、實際商用授權與推論容量，分清模型選項、效率證據與可運行的控制權。

逐字稿也能先說清楚「要怎麼抄」。對照 NVIDIA 原文與公開排行榜，分清指令控制、語言覆蓋與效能數字，再看這款開放權重模型真正改變了什麼。

Liquid AI 推出 LFM3 小模型家族。從六種角色、不同上下文規格與約 1 GB 權重，拆開記憶體、廠商跑分、d1 機率及專項微調的實際邊界。

Anthropic 公開六個藥物研發合作案與 Mithril 自有計畫。拆開抗體實驗、Enveda 89% 省時與小鼠研究，辨清局部改善、流程效率及人體療效之間的證據距離。

Axiom 宣布完成有限單群分類定理的 Lean 形式化。從 4,310 萬行自報產出、UGT 修補與公開程式碼，分清定理目標、證明檢查和獨立重建，判斷這次發布的實際價值。

第一題變快，第二題還找得到原句嗎？從 TokenGate 的學習式選詞出發，用四組保留預算建立品質與成本工作表，分清單輪結果、重新讀原文和跨輪快取重用。

Gemini 4 Carbon 登上 AA 綜合能力榜首，程式 Agent 評測卻仍落後 Opus 5.5。拆開兩個 59 分、資安測試與受限開放，判斷何時值得測試與遷移。

DeepMind 的 Genie 4 加入原生音訊、角色對話與即時文字引導。從官方展示、Gemini 的推理分工到物件恆存限制，拆解互動世界的創作價值，以及成為可靠 Agent 訓練環境仍需要哪些證據。

StreamVibe 把主動影片助手拆成評測、模型與需求狀態管理。看懂它如何處理隱含目標與中途改口，並核對 v1 表格差異、誤提醒與漏提醒的取捨。