每一次變化，
都留下入口。
Claude 在 123 個開源程式庫大規模生成機器可驗證的正式證明
Anthropic 與 Theorem 合作，讓 Claude 自主為 123 個 OSS-Fuzz 開源程式庫的 239 個入口撰寫 Rocq 證明；證明在特定單執行緒、靜態 RISC-V/Linux 模型與 64MB 輸入上不會崩潰，並在過程中找到與修補多年未發現的錯誤。部分證明與語義已公開。
GPT‑5.6 Sol 協助發現 PHP 關鍵漏洞，進入全球修補協調流程
OpenAI 公布 Patch the Planet 實例：研究人員以 GPT‑5.6 Sol 找到 PHP 關鍵漏洞，Wiz 亦獨立發現並通報相關漏洞；PHP 維護者主導修補，Cloudflare 等協助在公開前部署防護。OpenAI 稱前沿 AI 在攻擊者之前發現漏洞，並公開版本檢查工具協助更新。
Claude 在 25 個開源專案發現 493 項攻擊面問題並促成 OpenSSH 修補
Anthropic 以 Claude 分析 25 個、合計逾 500 萬行程式碼的開源專案，建立 17,000 多個設定選項清單並發現 493 項攻擊面問題。其中包括 94 種會靜默關閉安全控制的設定組合；對 OpenSSH 的分析促成 10.6 版修補，移除預設建置中約五分之一可被未驗證客戶觸及的程式碼。
OpenAI 模型在低資源語言與 COBOL 遷移評測大幅提升
OpenAI 發布 MultiLangBench 與 COBOL 遷移評測：GPT‑6 Astra 在 20 種語言的平均通過率由 GPT‑5.6 Sol 的 26.8% 升至 87.4%；GPT‑6.1 Sol 的 COBOL 行為保持遷移在低推理強度達 86.6%，高推理強度達 97.9%。評測設定與測試套件已公開。
Gemini 4 Argon 全面開放，展示長程代理與跨域工程能力
Google 於 10 月 13 日將 Gemini 4 Argon 向開發者、企業與訂閱用戶開放。官方案例顯示其可處理大型程式碼庫重構、無人值守優化代理框架，並把部分量子子程序成本較既有基線降低逾百倍；亦展示由影片建立模擬並遷移至實體機器人的流程。
背景閱讀
原始發布日期呈現，不是今日新聞，也不影響目前量表。
AlphaEvolve：可驗證的演算法進化
結合 Gemini 與自動評估器，反覆提出、驗證與改進演算法，應用於數學與計算效率問題。