工具 / TOOLS分析 / ANALYSIS
SGLang 統一 Radix Cache：一棵樹管理 Full、SWA、Mamba 三類前綴快取
SGLang 在路線圖 #20415 推動 Unified Radix Cache，把 Full、SWA、Mamba 三套分叉的前綴快取統一成單一 token 鍵控樹，各組件各自處理路徑、滑動窗口與檢查點復用，為混合注意力與狀態空間模型推論打地基。
DAILY EDITION / 2026-08-11
8 月 11 日 · 日報
本日共 16 則報導，依發布時間排列；刊登標準與來源分級見編輯方法。
2026 年 8 月 11 日 的文章列表
共 16 則文章 · 全部日報
模型 / MODELS新聞 / NEWS
OpenAI 未發布模型 Astra 推進 10 道數學難題，每道附 Lean 驗證
OpenAI 以未發布的次世代模型 Astra 在 10 道長期未解的數學與理論資訊難題上取得新結果，每道附 Lean 機器查驗證明，推論成本約合 2,000 美元。
模型 / MODELS新聞 / NEWS
螞蟻 Ling-3.0-tiny 開源：7.9B 總參、1.3B 激活的混合推理 MoE
螞蟻集團 InclusionAI 開源 Ling-3.0-tiny，總參 7.9B、每 token 僅激活 1.3B 的原生混合推理 MoE，同步提供 BF16、FP8、INT4 三種權重，INT4 版本利於消費級硬體部署。
模型 / MODELS分析 / ANALYSIS
哪種程式語言最適合 AI coding agent？Dan Luu 實測推翻動態語言省 token 說
工程師 Dan Luu 用 GPT-5.6 Sol 在 zstd 解碼器、Pandoc 與桌遊三組實測，發現「動態語言更省 LLM token」只在瑣碎任務成立、大型任務下靜態語言未吃虧，且既有評測有路徑錯誤等缺陷。
工具 / TOOLS指南 / GUIDE
MiniMax-H3 開源全模態影片模型：用 ComfyUI API 無頭生成影片與音訊
MiniMax 官方開源的全模態影片模型 MiniMax-H3，一次前向傳遞同時生成影片與原生立體聲音訊；ComfyUI 0.30.0 起原生支援，可用 Python 經 API 無頭驅動、不必開圖形介面。
工具 / TOOLS解讀 / EXPLAINER
ZCode 以 Goal、子代理、遠端控制與閒時任務，把 GLM-5.2 變成全天候編碼代理
Z.ai 官方編碼代理 ZCode 以 Goal、子代理、遠端控制與閒時任務四大能力，把 GLM-5.2 的百萬 token 長任務實力變成可跨裝置調度的桌面工作流；v3.7.5 已讓閒時任務接入自訂模型子代理。
本日其餘 10 則，依發布時間列出
07080910111213141516
產業 / INDUSTRY新聞 / NEWS
Anthropic 推進 9,650 億美元 IPO，最快 10 月掛牌、年化營收 470 億美元
Anthropic 已向美國 SEC 機密遞件、排定投資人會議，最快 10 月掛牌；估值 9,650 億美元、年化營收破 470 億美元，但低成本中國模型正挑戰其溢價前提。
工具 / TOOLS解讀 / EXPLAINER
Databricks Genie Agents 如何兼顧結構化資料、文件與治理
Databricks 說明 Genie Agents 如何同時讀結構化資料與文件，並把治理交給 Unity Catalog——以使用者身分在資料層過濾，而非仰賴模型自律。
產品 / PRODUCT新聞 / NEWS
微信朋友圈灰度測試 AI 幫寫與 AI 點評，生成式 AI 進駐社交核心
微信正灰度測試朋友圈「AI 幫寫」「AI 點評」，由原生助手小微驅動，騰訊客服證實逐步開放中；這把生成式 AI 放進發文與回覆兩個最高頻的社交動作。
產業 / INDUSTRY新聞 / NEWS
NVIDIA 聯手六大金融機構推 AI 運算融資平台，目標動員逾 5,000 億美元
NVIDIA 與六大金融機構簽備忘錄、各自設立獨立 AI 運算融資平台，目標合計動員逾 5,000 億美元第三方資金蓋 AI 工廠；屬長期目標、非已到位資金。
模型 / MODELS分析 / ANALYSIS
Meta 開源 Muse Glimmer 30B：同尺寸代理基準多項領先的本機模型
Meta 以 Apache 2.0 開源 30B 多模態模型 Muse Glimmer，蒸餾自 Muse Spark、為常駐本機代理設計，在 SWE-Bench Pro、MCP Atlas 等同尺寸代理基準多項領先，單張 GPU 即可運行。
模型 / MODELS新聞 / NEWS
未發布研究版 Claude 推進黎曼猜想零點下界至 67.2%
Anthropic 要未發布研究版 Claude 試攻黎曼猜想未果，卻把臨界線上 zeta 零點比例的無條件下界從 41.6% 推到 67.2%，並以 Lean 形式化通過驗證。
工具 / TOOLS新聞 / NEWS
Claude Code 自動模式 8 月 14 日起預設開啟：分類器取代逐次審核
Anthropic 宣布 8 月 14 日起 Claude Code 在 Pro、Max、Team 新工作階段預設採自動模式，由獨立分類器逐個攔截不可逆、破壞性與對外操作，解決使用者盲目核准 97% 權限提示的疲勞問題。
模型 / MODELS新聞 / NEWS
Meta 預告開源 Muse Spark 1.2 權重：扭轉四月閉源轉向
Meta 超級智慧實驗室的 Alexandr Wang 預告將開源 Muse Spark 1.2 權重，扭轉自四月起背離 Llama 的閉源路線；同日釋出的 30B 模型 Muse Glimmer 已採 Apache 2.0。
模型 / MODELS資料 / DATA
電腦操作智能體跨過人類水準：a16z 數據指 OSWorld 一年 42% 升 85%
a16z 報告指出，電腦操作智能體在 OSWorld-Verified 一年內從 42% 提升到 85%，首度超越約 72% 的人類水準，Claude Fable 5 以 85% 暫居榜首。
產業 / INDUSTRY新聞 / NEWS
tl;dv 缺一道 Firestore 規則，18 萬場會議任人查詢、通話可被闖入
AI 會議錄音平台 tl;dv 的 Firestore「meetings」集合缺少租戶隔離規則，任一登入用戶可查詢全平台 18 萬場會議與約千場進行中通話；研究員實測闖入馬來西亞政府與美國大學的即時會議，通報逾半年仍未修復。