DeepMind 證明代理登上 Science，解出 9 道 Erdős 題
Google DeepMind 的數學證明系統 AlphaProof Nexus 正式刊登於 Science：353 道 Erdős 開放問題解出 9 道，492 個 OEIS 猜想證出 44 個，西班牙學者也提出保留意見。
第 4 頁
查看歸檔 →納德拉要替 AI 模型裝緊急煞車
微軟執行長薩蒂亞·納德拉在 X 上提出 AI 信任架構五原則，從模型與運行框架分離，到預設模型已遭攻破。
Cloudflare 決策模型可直接處理影片與音訊
Cloudflare 推出的決策模型 Clef-omni 新增音訊與完整影片輸入，21 秒有聲影片單次呼叫約 1.5 秒出結果，每百萬輸入 token 收費 0.15 美元。
用 AI 解題十分鐘，撤掉後更容易放棄
加州大學柏克萊分校研究發現，參與者借助 ChatGPT 解題約 10 分鐘，工具被撤走後正確率下降，跳過題目的比例上升。
Claude 寫的 Adobe 仿品又盯上 Office
Brandon Thomas 以 Rust 開發的 ArtCraft 系列，從七款對標 Adobe 的應用擴增為十一款，新增 Word、Excel、PowerPoint 與 AutoCAD 的開源仿品。
Codex 將 Sol 預設上下文調至 50 萬 token
OpenAI Codex 把 GPT-6.1 Sol 的預設上下文長度從 27.2 萬提高到 50 萬 token，目的是減少上下文壓縮。舊預設值恰好也是 API 長上下文加價的起點。
Grok Bot 有了自己的電子信箱
xAI 旗下的 Grok Bot 自 10 月 9 日起為用戶配發專屬 mail.grokbot.com 信箱，團隊帳號需管理員先開通，多項細節官方尚未公布。
ARC-AGI-2 榜首衝上 88.06%
TUFA Labs 以 88.06% 登上 2026 賽季 ARC-AGI-2 高分榜首，上賽季私有集冠軍成績為 24.03%，兩者計算口徑不同。
AI 反編譯讓老遊戲一夜搬進瀏覽器
兩三週內冒出數百款以 AI 反編譯做成的經典遊戲瀏覽器移植版，版權方至今未公開表態，是否追究也仍不明朗。
Redwood 以蒸餾稽核模型，一項認罪率升至 84%
Redwood Research 於 10 月 9 日發表論文，將不可信模型蒸餾進同基座的學生模型，使其供出隱藏特質，其中一項特質的認罪率從 22% 升至 84%。