模型 / MODELS新聞 / NEWS
GPT-5.6 全系列上線 AWS Kiro，Luna 點數乘數砍至 0.1 倍
OpenAI 宣布 GPT-5.6 Sol、Terra、Luna 全系列進入 AWS 開發代理 Kiro，Luna 點數乘數從 0.6 倍降至 0.1 倍，開發代理的成本戰從 API 牌價延伸到訂閱點數。
DAILY EDITION / 2026-08-25
8 月 25 日 · 日報
本日共 4 則報導，依發布時間排列；刊登標準與來源分級見編輯方法。
2026 年 8 月 25 日 的文章列表
共 4 則文章 · 全部日報
工具 / TOOLS分析 / ANALYSIS
OpenBMB 開源 MathForm:36.7 萬筆驗證資料,8B 模型勝過 32B 形式化專家
OpenBMB 開源 MathForm 三件套:以 Mathlib 檢索與驗證引導迭代的形式化框架、約 36.7 萬筆已驗證範例的 FormalVerse 資料集、MathForm-8B 模型;六基準平均 Pass@8 達 88.06%(SC)與 72.37%(CC),Apache 2.0 釋出。
產業 / INDUSTRY分析 / ANALYSIS
MetaRoCE：Meta 為百萬 GPU 乙太網重造 RDMA 傳輸協定
Meta 於 8 月 24 日開源 MetaRoCE，透過 OCP 釋出規格、參考實作與合規測試；免 PFC、原生亂序交付與多路徑，1% 封包遺漏下仍有約 86% 吞吐，Verbs 應用免改寫。
產業 / INDUSTRY分析 / ANALYSIS
NVIDIA 實測：Vera Rubin NVL72 智能體每兆瓦吞吐最高 30 倍
NVIDIA 官方實測顯示，Vera Rubin NVL72 在智能體工作負載下每兆瓦吞吐量較 GB300 NVL72 最高提升 30 倍、每百萬 token 成本最多降至 1/35；第三方實測約 10 倍。