這三天的新消息把焦點從「模型能不能產生結果」推向結果如何被使用與驗證：低成本模型開始承擔長時間開發工作，AI 科學工具把觀測資料的缺口標成預測值，Anthropic 將漏洞掃描服務交給開源維護者，而 OpenAI 的數學專案則撤回三份手稿並修訂其他結果。

🔥 DeepSeek 4.1 Flash 的低成本使用案例，關鍵差異在快取與工作流

DGT.is 作者表示，他在十多個專案中使用 DeepSeek 4.1 Flash 約一個月，主觀感受是它能處理部分原本交給 frontier model 的對話、研究與 coding 任務；文章也連結到 Artificial Analysis 的模型比較，但本文本身不是獨立 benchmark。

作者以每月 10 美元的 OpenCode Go 訂閱為例，表示自己通常把單次工作階段的預期成本控制在 1 美元以下，並讓 DeepSeek 執行探索性測試與修正，再偶爾交由 Opus 5.5 做最後 code review。這是個人工作流與價格方案的案例，不代表所有供應商、上下文長度或任務都會得到相同成本。

文章引用的技術重點是 KV cache：作者稱 DeepSeek 4.1 Flash 相較 V1 將 KV cache 縮小約 437 倍，並把長時間 coding session 的 GPU 記憶體成本下降視為低價的原因之一。原文沒有提供這個數字的模型技術報告或可重現的部署基準；同樣也沒有測量其能源與用水量，因此環境效益仍是作者的推測。

Anthropic 推出 Cyber Mission，OSS Scanner 的報告不經人工審查

Anthropic 宣布 Cyber Mission，先聚焦關鍵基礎設施與開源軟體。Critical Infrastructure Defense Program 目前以一小批安全服務商、設備製造商與其他合作夥伴開始，讓它們使用 Claude 協助掃描與修補控制器、工業網路和相關軟體；參與對象由 Anthropic 招募，並非所有基礎設施營運者都能直接加入。

對開源專案，Anthropic 推出可選擇加入的 OSS Scanner。加入的專案會定期接受模型掃描，報告包含漏洞概念驗證、說明與可用時的修補建議，服務免費。Anthropic 預期真正漏洞比例高於 90%，但官方同時明確表示報告由模型產生、沒有人工審查，可能包含錯誤的嚴重度判定；服務也主要面向有能力處理大量發現項目的維護團隊。

Anthropic 表示，Project Glasswing 曾找出許多漏洞，但從發現到驗證、通報和修補仍可能相隔數月；對無法停機更新的營運技術，修補等待時間在少數情況下可能以十年計。這項服務把掃描入口擴大了，但維護者仍須自行判斷報告、安排修補與承擔錯誤告警的處理成本。

Claude Science 補出紫外線全天圖，約三分之一區域是模型預測

Johns Hopkins University 天文物理學家、也是 Anthropic 研究員的 Brice Ménard 描述一項用 Claude Science 建立全天紫外線地圖的工作。流程整合 NASA GALEX、Swift、韓國 FIMS/SPEAR、TD-1 與 ESA Gaia 等公開資料，先做跨儀器校準、解析度與座標統一，再處理亮星造成的干擾。

GALEX 約觀測了三分之二的天空，部分銀河平面因亮星可能損傷探測器而被跳過。對沒有紫外線觀測的區域，Claude 使用 inpainting，並結合可見光、紅外線與無線電資料；作者說，將已有紫外線資料遮住進行驗證時，模型對隱藏資料的估計誤差約在 10% 以內。成品頁面另外標記每個像素是「measured」還是「predicted」，並提供不確定性估計。

文章記錄了一個限制：初版地圖通過兩輪其他 agent 的檢查，仍留下 38,000 個 GALEX 觀測的殘餘大氣輝光，最後由研究者發現圓形觀測痕跡後要求修正。這張圖因此同時包含實測資料、統計填補與 Gaia 推估的超過一億顆恆星紫外線訊號，不能把預測區域當成新的望遠鏡觀測。

OpenAI 撤回三份數學手稿，另修訂 14 份並新增形式化結果

OpenAI 在 openai/math repository 的 history.md 公告，因「Algebraicity of Weil classes on split abelian eightfolds」中的符號錯誤使 stabilization-trace cancellation 論證失效，撤回該手稿以及兩份依賴它的工作：「Algebraicity of Kuga–Satake Correspondences for K3 Surfaces」和「The rational Hodge conjecture for products of K3 surfaces」。撤回版本仍保留在封存手稿中，README 會說明缺口。

同一份更新列出另外 14 份手稿的修訂，涉及證明修補、敘述與假設澄清、依賴關係調整及過時引用移除；另有 13 份手稿更新對修訂版本的引用。專案新增 6 份形式化與 5 項其他補充，README 將 top-line results 的形式化總數更新為 300 / 719，約 42%。

這些版本紀錄顯示，公開的模型生成數學材料仍按驗證狀態持續變動：撤回、修訂、引用更新與 Lean formalization 進度都需要逐篇查看，repository 收錄數量本身不等於全部結果已完成形式化或同行審查。