1AI應用
情境工程現況:長情境的四種失效模式
據 dbreunig.com 10 月 24 日的文章,作者表示他本週在 AGNTCon 發表名為「Context Fails & Fixes」的短講,並附上投影片與略經編輯的逐字稿,主題是情境工程的現況。
作者回顧 2024 年底「RAG 已死」的說法,當時有人期待只要把情境視窗擴大,就能把所有資料放進去交給模型處理。他提到模型的情境視窗從約 128,000 token 擴展到百萬 token;Llama 4 Scout 推出 1000 萬 token 的情境視窗,但沒有廣泛流行。
作者把長情境的失效模式分成四類。情境中毒指不該進入情境的資訊進入其中;情境分心指情境過長,模型更關注情境內容而非自身既有知識;情境混淆指無關的事實影響模型回答;情境衝突指工具呼叫、技能等 Harness 內的資訊彼此衝突。
作者以《精靈寶可夢 紅》與《火紅》的差異說明情境中毒:原版通過口渴的警衛要給檸檬飲品,《火紅》改成冰茶。據他轉述 Gemini 2.5 技術報告,模型玩較舊版本時曾認定必須取得茶,並花時間尋找或交出茶。
2AI應用
Anthropic 與 Theorem 用 Claude 為 123 個開源函式庫寫形式化證明
Anthropic 於 2026 年 10 月 22 日發布研究文章,表示與 Theorem 合作,使用 Claude 為 123 個開源函式庫的 RISC-V 編譯執行檔證明安全性質。Claude 針對 OSS-Fuzz 的 239 個測試入口證明,在 64 MB 以下的輸入範圍內不會發生 crash,證明約有 1.8 億行 Rocq 程式碼。
做法是把既有的 fuzz test 轉成規格,要求測試對所有小於 64 MB 的輸入都不 crash,由 Claude 撰寫證明,再由 Rocq kernel 檢查證明是否符合規格。證明有條件限制:程式以單執行緒、靜態連結、固定記憶體預算,在 RISC-V CPU 與 Linux OS 模型下執行。這些證明不代表函式庫沒有任何 bug。
Anthropic 表示,Claude 在證明過程中發現數百個 bug,包括大型輸入造成的解壓縮器計數器下溢與越界寫入、影像解碼器越界讀取,以及 libexpat 的 CVE-2026-56132。
OSS Verify GitHub 頁面目前列出 25 個函式庫的 60 個入口點已有證明。
3AI產業趨勢
OpenAI 與 Anthropic 數月內多次調降 LLM 價格
據 Max Woolf 部落格文章,OpenAI 與 Anthropic 在數個月內多次調降模型價格。OpenAI 在 7 月 30 日將 GPT-5.6 Luna 降價 80%,至 0.20 美元、1.20 美元、0.02 美元。
Anthropic 方面,Claude Sonnet 5 於 6 月 30 日上市,價格為 2 美元、10 美元、0.20 美元,8 月 10 日宣布上市優惠價改為永久價格。9 月 1 日公布的 Fable 5.1 價格為 10 美元、50 美元、0.25 美元,快取讀取價格比 6 月的 Fable 5 低 75%。
OpenAI 在 9 月 22 日公布 GPT-6 Sol(2 美元、10 美元、0.20 美元)與 GPT-6 Luna(0.10 美元、0.50 美元、0.01 美元),9 月 29 日的 GPT-6.1 Sol 快取價格降為 0.10 美元。Vercel AI model gateway 資料顯示,每 token 成本降至 2026 年 4 月的 43.3%,但總支出仍在增加,因模型進步速度快於降價速度。
4AI模型
Claude 設計出更省資源的量子電路
據 Anthropic 研究文章與 arXiv 論文,研究團隊向 Claude 提供八種量子電路的規格與自動評估器;Claude 提出設計,評估器檢查正確性並依量子位元數與閘數評分。論文由 Andi Gu、Alek H. Kemeny、Susanne F. Yelin 與 Mikhail D. Lukin 撰寫,2026 年 10 月 15 日提交至 arXiv。
Anthropic 稱,Claude Mythos 5 能在沒有回合間人工介入的閉環流程中,依評估器回饋修改設計。arXiv 摘要稱,八項任務中有七項的電路同時降低 Toffoli 閘數與量子位元數;第八項提出質數域模反元素運算的新可逆架構,使 divsteps 得以使用,並改善 Toffoli 閘數與量子位元數之間的取捨。
Claude 對橢圓曲線點加法工作 53 小時,其中一種新設計相較量子位元數最少的先前設計,多用 12% 量子位元、少用 17 倍閘數。另一項量子解碼器設計改用 Berlekamp–Massey 解碼,文章稱解碼器閘數比 Google 先前的構造少 12 倍。
5AI應用
柏克萊數學教授因 AI 不再按正確性批改作業
據 The Daily Californian 報導,UC Berkeley 教授、菲爾茲獎得主 Richard Borcherds 不再按正確性批改學生作業。他看到許多學生使用 AI 並持續取得高分,因此認為付費請閱卷人批改正確性沒有意義。目前學生只要交了作業,他就按完成度給分,他承認這不是很好的制度,但目前沒有替代辦法。
Borcherds 表示,如果 AI 持續以目前速度進步,幾年後人類數學家可能沒有任何事情能做得比 AI 更好。他已不知道該不該鼓勵學生進入數學系,並說自己曾向 ChatGPT 問同一問題,ChatGPT 也表示不知道未來會如何。
報導引述 Anne Marie Richard 的電子郵件指出,Berkeley Division of the Academic Senate 要求教師在課程大綱說明課程期待,包括課業中 AI 工具的使用,各課程政策會因程度與領域而有很大差異。校方曾嘗試 Turnitin 和 Rumi 等 AI 偵測工具,但認為不足以在全校標準化使用。課堂 AI 政策由教師自行決定,AI Hub 提供課堂 AI 使用聲明範例供教師參考。