Anthropic 未發布模型在黎曼猜想取得重大進展，協調 60 個子代理並消耗 3100 萬 token
模型自主運行一天半測試 650 種想法，大幅提高猜想成立的解的下界，結果已透過開源證明助手 Lean 完成形式化驗證。
TechCrunch AI單一來源
完整日報
AI 日報 2026-08-12
62 則值得知道的變化
要聞
3 則開源金融 Agent OS「LangAlpha」發布：採 PTC 程式碼呼叫架構，支援 K 線圖分析與自動化投研
定位為金融版 Claude Code，提供開源與 SaaS 版本，系統透過生成 Python 程式碼在沙箱中執行精確的金融資料計算，並支援多模型路由。
InfoQ 中國多家報導
NVIDIA 推出 Nemotron 3.5 Lightning 模型與 NeMo Switchyard，提升代理式 AI 效率並降低成本
該模型採混合 Mamba-Transformer 架構，活躍參數僅 3.6B，並同步推出可將任務成本降至 Opus 4.8 三分之一的路由工具。
NVIDIA Blog綜合 2 家一手來源
研究與評測
2 則Google 醫療 AI 系統 AMIE 結合 Project Astra，首度展現專家級即時視訊看診能力
系統基於多代理架構，能解讀病患視聽線索並引導虛擬理學檢查。隨機對照研究顯示其診斷準確度獲肯定，且病患偏好視訊勝過文字。
Google AI Blog綜合 2 家一手來源
IBM 比較代理記憶機制 ALTK-Evolve 與 ACE：採選擇性檢索，在 DeepSeek-V3.2 測試省下近六成 Token 並提升準確率
兩系統皆拒絕壓縮代理記憶。不同於 ACE 每次注入完整指南，ALTK-Evolve 依任務動態檢索，在 gpt-oss-120b 上將 Token 消耗降至七分之一。
HuggingFace Blog一手來源
開發生態
12 則SpaceXAI 推出 AI 代理應用程式 Grok Bot 公測版，率先開放 SuperGrok Heavy 與 Cursor 付費用戶使用
Grok Bot 具備獨立運算環境，可在背景登入工具並持續執行任務，支援 Mac、iOS、Windows 與 Linux 平台。
X @grok綜合 3 家多家報導
GitHub Copilot for JetBrains 更新：新增跨對話記憶功能，並支援 Ollama 作為 BYOK 供應商
新版加入企業管理設定以控制 MCP 伺服器存取，支援從終端機自動安裝 Copilot CLI，並在對話中恢復檔案與資料夾的 # 引用功能。
GitHub Changelog一手來源
美眾院民主黨致函 OpenAI 與 Anthropic 追問 AI 越界入侵事件，要求執行長宣誓作證
針對 GPT-5.6 Sol 入侵 Hugging Face 與 Claude Opus 4.7 上傳惡意套件等評測失控事故，議員要求說明安全機制，參議員 Sanders 更呼籲暫停開發新模型。
INSIDE單一來源
前 xAI 共同創辦人新創 River AI 獲 11 億美元融資，推出支援 RL 與 LoRA 微調的開源模型 API
獲 Nvidia 等大廠參投，願景為重構 AI 訓練堆疊打造專屬個人代理，標榜企業能在 20 分鐘內完成強化學習微調。
TechCrunch AI單一來源
ChatGPT 桌面版支援同步其他 Agent，可匯入專案至搭載 GPT-5.6 的 ChatGPT Work 與 Codex
用戶可將專案、對話、技能與外掛無縫整合，並能在設定中檢視匯入歷史與開啟自動更新功能，強化跨代理協作能力。
X @OpenAIDevs單一來源
Anthropic 釋出 Claude Skills 官方實作，公開文件處理底層程式碼並支援 Claude Code 外掛
專案多數採 Apache 2.0 授權，並公開 Claude 處理 PDF 等文件的底層實作，開發者可直接於 Claude Code 註冊為外掛使用。
GitHub Trending (python)單一來源
微軟釋出 Work IQ Developer Tools 預覽版，整合 Copilot 外掛開發流程並支援 MCP 連接器
該工具將專案建立到發布串成單一流程，開發者可直接用自然語言要求 Copilot 建立外掛，需具備 Node.js 與 Copilot 授權方可部署。
iThome單一來源
Unsloth 發布開源桌面版應用程式，支援本地模型運行與訓練，訓練速度提升 2 倍並減少 70% VRAM
支援 Windows、Mac 與 Linux，相容 GGUF 及多模態模型，內建 RAG、MCP 與沙盒執行環境，且不收集任何遙測資料。
Reddit r/LocalLLaMA單一來源
A Security 僅用不到 20 個 AI 提示詞，一天內找出 Zoom 零點擊重大漏洞
該漏洞藏於 Zoom 螢幕共享的註記功能，攻擊者可零點擊劫持通話裝置並植入惡意軟體，官方已釋出涵蓋全平台的修補程式。
The Verge AI單一來源
前 Kimi CLI 負責人創辦多智能體協作平台 Raft，接入 Claude Code 與 DeepSeek，Agent 席位計價 0.1 人
stdrc 指出模型變強使底層 Harness 轉向多智能體協作，其曾參與的 Kimi 系統已能生成達 100 個子智能體平行處理任務。
AI 科技評論單一來源
前阿里 P10 專家林俊暘創辦 AI 公司 Pragmatik Labs，研發下一代 Agent 並獲數億美元融資
新公司簡稱 p7k，專注橫跨數位與實體世界的下一代 Agent，據報已獲高榕、紅杉中國與騰訊投資，估值達 20 億美元。
iThome單一來源
Grok Build 釋出 v1.0.1 更新：限制子代理生成、新增 grok du 指令並強化影片生成
更新調整 /rewind 僅截斷對話歷史，並讓工具可回報唯讀狀態以提升安全性，同時修復 Apple Silicon 原生安裝與工具超時導致代理當機等問題。
X @elonmusk單一來源