MathCode 0.2.0 現已上線，為 AI + 加密貨幣新聞項目降低 90% 的 API 成本。此更新透過前綴快取診斷和政策控制提升快取命中率，並新增多斷點快取、動態工作量調整及更佳的任務管理功能。現已支援代幣預算限制，並整合 Kimina Lean Server 以實現更快的部署。新代幣上線或可從此效率提升中受益。
ME AI 消息，據動察 Beating 監測，Math-AI 團隊發布數學形式與定理證明 AI 智能體 MathCode 0.2.0，透過前綴快取請求整形與策略控制，將 API 成本降低高達 90%。新版本針對大模型在長程證明和多輪互動中的高額開銷，優化提示詞結構穩定性以提升 Prompt 快取命中率。在定理證明場景下，模型需頻繁讀取龐大程式碼庫與公理庫。MathCode 0.2.0 引入前綴快取請求整形診斷與策略控制 Prefix-cache request-shape diagnostics and policy controls 機制。系統屏蔽提示詞頭部歸屬以保障結構穩定性，新增多斷點快取 `MATHCODE_CACHE_MULTI_BREAKPOINT`、顯式最小前綴閘道與閒置感知 TTL 策略，透過底層請求形狀對齊最大化 Provider 原生快取命中率，將長會話帳單壓至一成。新版本還強化了任務管理與思考深度控制。為防長程運行超支，系統支援透過 MATHCODE_GOAL_MAX_TOKEN_BUDGET 設定 Token 預算上限，並限制嵌套斜 slash 命令上限防範無限迴圈。此外，證明會話支援透過 --effort 或 /effort 動態調整思考深度，提供 low`、`medium`、`high`、`max 等級別，且支援隨時退回預設配置。在編譯加速與部署方面，新版本支援外接 Project Numina 開發的編譯器 Kimina Lean Server 作為子行程常駐運行，並將編譯檢查請求路由至 /verify 介面。同時，安裝腳本 setup.sh 迎來重構，新增 --status`、`--clean 等指令，支援 release 校驗和自動驗證與複用系統 Lean/Lake environment 環境，降低部署門檻。（來源：BlockBeats）
KuCoinFlash
精華摘要