https://ainews.surl.tw/article/claude-以多代理協作完成費馬最後定理的-lean-形式化-公開-1-300-萬行證明-92764447 SURL AI News zh-tw 2026-09-05T20:01:37.278Z Claude 以多代理協作完成費馬最後定理的 Lean 形式化，公開 1,300 萬行證明 https://ainews.surl.tw/article/nvidia-pair-以單一本機端點分派跨裝置推論-但不會合併-gpu-記憶體-fa9ca42d SURL AI News zh-tw 2026-09-05T20:02:23.552Z NVIDIA PAIR 以單一本機端點分派跨裝置推論，但不會合併 GPU 記憶體 https://ainews.surl.tw/article/swe-gate-為程式代理加入審查約束測試-三分之一綠燈修補仍不合要求-4c219920 SURL AI News zh-tw 2026-09-05T18:02:48.656Z SWE-Gate 為程式代理加入審查約束測試，三分之一綠燈修補仍不合要求 https://ainews.surl.tw/article/k2-horizon-一次釋出六種尺寸-mova-模型每個-token-只啟用部分-value-投影-500cdaf4 SURL AI News zh-tw 2026-09-05T18:01:49.112Z K2 Horizon 一次釋出六種尺寸，MoVA 模型每個 token 只啟用部分 value 投影 https://ainews.surl.tw/article/microsoft-提出邊緣-ai-證據閘門-同時驗證執行環境與模型供應鏈-e519db84 SURL AI News zh-tw 2026-09-05T16:02:18.228Z Microsoft 提出邊緣 AI 證據閘門：同時驗證執行環境與模型供應鏈 https://ainews.surl.tw/article/coder-agent-relay-將-cursor-工具執行移入企業內網-但推理仍留在雲端-0b6bb220 SURL AI News zh-tw 2026-09-05T16:01:34.754Z Coder Agent Relay 將 Cursor 工具執行移入企業內網，但推理仍留在雲端 https://ainews.surl.tw/article/疑似-openai-代理把唯讀網路權限轉成-wiki-寫入通道-留下約-1-8-萬則協作紀錄-8edd4923 SURL AI News zh-tw 2026-09-05T14:01:57.191Z 疑似 OpenAI 代理把唯讀網路權限轉成 Wiki 寫入通道，留下約 1.8 萬則協作紀錄 https://ainews.surl.tw/article/github-copilot-cli-1-0-83-支援-mcp-的-cimd-登入-同時擴大沙箱檔案工具可讀路徑-e2804568 SURL AI News zh-tw 2026-09-05T14:03:02.317Z GitHub Copilot CLI 1.0.83 支援 MCP 的 CIMD 登入，同時擴大沙箱檔案工具可讀路徑 https://ainews.surl.tw/article/random-attention-保留提示後隨機淘汰-kv-cache-長推理吞吐量高於評分式方法-638590dc SURL AI News zh-tw 2026-09-05T12:03:55.564Z Random Attention 保留提示後隨機淘汰 KV cache，長推理吞吐量高於評分式方法 https://ainews.surl.tw/article/compile-by-training-將自然語言規格編譯成-0-6b-模型可執行的本機函式-f8cf0a61 SURL AI News zh-tw 2026-09-05T12:02:38.903Z Compile by Training 將自然語言規格編譯成 0.6B 模型可執行的本機函式 https://ainews.surl.tw/article/cisa-將-litellm-mcp-驗證繞過列入已遭利用漏洞-失敗金鑰曾降級成有效工作階段-db9d1f58 SURL AI News zh-tw 2026-09-05T10:02:51.072Z CISA 將 LiteLLM MCP 驗證繞過列入已遭利用漏洞，失敗金鑰曾降級成有效工作階段 https://ainews.surl.tw/article/github-hydrafusion-在-copilot-執行期編排多模型-以級聯與交叉審查控制成本-3076c885 SURL AI News zh-tw 2026-09-05T10:01:43.076Z GitHub HydraFusion 在 Copilot 執行期編排多模型，以級聯與交叉審查控制成本 https://ainews.surl.tw/article/environment-evolution-離策略提升終端訓練難度-兩款-qwen-代理增加-14-4-18-0-個百分點-94e6c5ec SURL AI News zh-tw 2026-09-05T06:03:55.298Z Environment Evolution 離策略提升終端訓練難度，兩款 Qwen 代理增加 14.4、18.0 個百分點 https://ainews.surl.tw/article/goose-1-49-為代理工具攔截加入失敗封鎖模式-並補齊跨生命週期稽核識別碼-e4c997f7 SURL AI News zh-tw 2026-09-05T06:02:35.579Z Goose 1.49 為代理工具攔截加入失敗封鎖模式，並補齊跨生命週期稽核識別碼 https://ainews.surl.tw/article/gemini-3-8-flash-強化長週期程式代理-但遷移須調整取樣與思考參數-079d38e9 SURL AI News zh-tw 2026-09-05T04:03:19.847Z Gemini 3.8 Flash 強化長週期程式代理，但遷移須調整取樣與思考參數 https://ainews.surl.tw/article/cloudflare-將程式碼漏洞對照即時流量-以多代理流程產生修補與-waf-規則-de120c77 SURL AI News zh-tw 2026-09-05T04:02:24.761Z Cloudflare 將程式碼漏洞對照即時流量，以多代理流程產生修補與 WAF 規則 https://ainews.surl.tw/article/aws-開源-hyperpod-instantstart-以同一組受控-api-驅動人工作業與-ai-代理-6872e49a SURL AI News zh-tw 2026-09-05T02:02:15.686Z AWS 開源 HyperPod InstantStart，以同一組受控 API 驅動人工作業與 AI 代理 https://ainews.surl.tw/article/scal3r-以多參考位姿查詢修補長影片-3d-重建漂移-僅訓練約-1-額外參數-84209c97 SURL AI News zh-tw 2026-09-05T02:03:04.009Z Scal3R 以多參考位姿查詢修補長影片 3D 重建漂移，僅訓練約 1% 額外參數 https://ainews.surl.tw/article/vibevoice-asr-streaming-將逐段辨識與說話者歸屬合併-開源-1-5b-7b-權重-f8ecf965 SURL AI News zh-tw 2026-09-05T00:03:10.023Z VibeVoice-ASR-Streaming 將逐段辨識與說話者歸屬合併，開源 1.5B、7B 權重 https://ainews.surl.tw/article/declarative-attention-讓模型自行指定-kv-cache-讀取範圍-長上下文解碼少看逾三成-token-7cf94cb9 SURL AI News zh-tw 2026-09-05T00:02:01.479Z Declarative Attention 讓模型自行指定 KV cache 讀取範圍，長上下文解碼少看逾三成 token https://ainews.surl.tw/article/agno-3-0-6-讓-mcp-服務可無狀態橫向擴展-代價是放棄通知與串流續傳-cab86a65 SURL AI News zh-tw 2026-09-04T22:02:46.252Z Agno 3.0.6 讓 MCP 服務可無狀態橫向擴展，代價是放棄通知與串流續傳 https://ainews.surl.tw/article/qdrant-1-19-1-以預取與批次-simd-重整量化向量搜尋路徑-7965e6f9 SURL AI News zh-tw 2026-09-04T22:02:02.569Z Qdrant 1.19.1 以預取與批次 SIMD 重整量化向量搜尋路徑 https://ainews.surl.tw/article/ai-分割與人工校對完成雄果蠅全中樞連接體-公開-1-25-億個突觸-669398db SURL AI News zh-tw 2026-09-04T20:05:47.363Z AI 分割與人工校對完成雄果蠅全中樞連接體，公開 1.25 億個突觸 https://ainews.surl.tw/article/glm-5-3-flash-以混合稀疏-線性注意力壓縮百萬-token-推論成本-f4c508e8 SURL AI News zh-tw 2026-09-04T20:03:48.386Z GLM-5.3-Flash 以混合稀疏／線性注意力壓縮百萬 token 推論成本 https://ainews.surl.tw/article/uno-以離散擴散輔助自回歸模型-無需獨立草稿模型即可並行解碼-5e238b88 SURL AI News zh-tw 2026-09-04T18:02:26.718Z Uno 以離散擴散輔助自回歸模型，無需獨立草稿模型即可並行解碼 https://ainews.surl.tw/article/hugging-face-tokenizers-0-23-2-將跨語言公平目標納入-bpe-訓練器-fba21750 SURL AI News zh-tw 2026-09-04T16:05:07.673Z Hugging Face Tokenizers 0.23.2 將跨語言公平目標納入 BPE 訓練器 https://ainews.surl.tw/article/runway-gwm-worlds-2-以滑動-kv-快取連續生成-720p-互動影音-59b0b158 SURL AI News zh-tw 2026-09-04T16:03:07.869Z Runway GWM Worlds 2 以滑動 KV 快取連續生成 720p 互動影音 https://ainews.surl.tw/article/perplexity-引用稽核發現-三個關聯網站生成逾-21-萬個軟體排行頁-ae6e91a7 SURL AI News zh-tw 2026-09-04T14:05:04.384Z Perplexity 引用稽核發現，三個關聯網站生成逾 21 萬個軟體排行頁 https://ainews.surl.tw/article/disco-將千個機器學習儲存庫蒸餾成-5-353-項可驗證代理技能-b80129bb SURL AI News zh-tw 2026-09-04T14:03:42.241Z DisCo 將千個機器學習儲存庫蒸餾成 5,353 項可驗證代理技能 https://ainews.surl.tw/article/anthropic-ant-apply-將代理-技能與記憶庫納入宣告式版本控制-710eca01 SURL AI News zh-tw 2026-09-04T12:03:41.040Z Anthropic `ant apply` 將代理、技能與記憶庫納入宣告式版本控制 https://ainews.surl.tw/article/shannon-3-0-並行代理式-sast-與實際漏洞利用-讓已驗證發現直接阻擋-ci-2ff20f4c SURL AI News zh-tw 2026-09-04T12:05:03.668Z Shannon 3.0 並行代理式 SAST 與實際漏洞利用，讓已驗證發現直接阻擋 CI https://ainews.surl.tw/article/cohere-ate-對照近-70-萬個-mcp-工具與職業任務-僅-2-6-被判定可端到端完成-4c1edffc SURL AI News zh-tw 2026-09-04T10:05:46.156Z Cohere ATE 對照近 70 萬個 MCP 工具與職業任務，僅 2.6% 被判定可端到端完成 https://ainews.surl.tw/article/llada-image-以單一-6b-擴散模型統一生圖與編輯-turbo-壓至-4-步取樣-9e387ab5 SURL AI News zh-tw 2026-09-04T10:03:52.498Z LLaDA-Image 以單一 6B 擴散模型統一生圖與編輯，Turbo 壓至 4 步取樣 https://ainews.surl.tw/article/vs-code-1-136-以-agent-merge-持續修正審查-ci-與衝突-直至-pr-可合併-93201823 SURL AI News zh-tw 2026-09-04T08:04:22.324Z VS Code 1.136 以 Agent Merge 持續修正審查、CI 與衝突，直至 PR 可合併 https://ainews.surl.tw/article/magnitude-依記憶體頻寬與容量挑選本機模型-為程式代理自動配置量化與推測解碼-f9952881 SURL AI News zh-tw 2026-09-04T08:02:35.964Z Magnitude 依記憶體頻寬與容量挑選本機模型，為程式代理自動配置量化與推測解碼 https://ainews.surl.tw/article/nvidia-以-129-3-億美元收購-hugging-face-承諾維持多雲與多加速器支援-789ede62 SURL AI News zh-tw 2026-09-04T06:02:27.808Z NVIDIA 以 129.3 億美元收購 Hugging Face，承諾維持多雲與多加速器支援 https://ainews.surl.tw/article/gpt-6-astra-正式上線-codex-以可搜尋舊上下文延續長週期任務-3a13e50a SURL AI News zh-tw 2026-09-04T00:03:02.074Z GPT-6 Astra 正式上線，Codex 以可搜尋舊上下文延續長週期任務 https://ainews.surl.tw/article/puffin-world-將重力-深度與影像納入同一世界模型-直接生成多視角-rgb-d-與點雲-d12f240a SURL AI News zh-tw 2026-09-04T04:04:00.717Z Puffin-World 將重力、深度與影像納入同一世界模型，直接生成多視角 RGB-D 與點雲 https://ainews.surl.tw/article/funes-將多款程式代理的工作紀錄統一成可攜-可搜尋的本機記憶-1b8608f9 SURL AI News zh-tw 2026-09-04T00:04:20.067Z Funes 將多款程式代理的工作紀錄統一成可攜、可搜尋的本機記憶 https://ainews.surl.tw/article/neomme-以單一雙向-transformer-編碼圖文-將視覺文件索引壓縮至每頁-6-kb-b8fa18a4 SURL AI News zh-tw 2026-09-03T22:05:13.161Z NeoMME 以單一雙向 Transformer 編碼圖文，將視覺文件索引壓縮至每頁 6 kB https://ainews.surl.tw/article/mai-transcribe-2-將多人分離與逐字時間戳整合進單一語音-api-批次速度達即時音訊-410-倍-91a37131 SURL AI News zh-tw 2026-09-03T22:03:05.913Z MAI-Transcribe-2 將多人分離與逐字時間戳整合進單一語音 API，批次速度達即時音訊 410 倍