Claude 替 239 個進入點寫出機器檢查的證明，「已驗證」該信到哪裡？
Anthropic 與 Theorem 用 Claude 為 OSS-Fuzz 函式庫寫出 Rocq 證明並修掉 bug。證明涵蓋什麼、沒涵蓋什麼，維護者與資安團隊該怎麼讀。
← 所有分類與標籤Tag archive Derrick Coetzee／Wikimedia Commons（CC0） ↗ 
Moonshot AI／Kimi 官方發表圖 ↗ 
Tirza van Dijk／Wikimedia Commons（CC0） ↗ 
X / @Bsunter，原帖節錄 ↗
AI 工具
5 篇文章
Kimi K3.1 Pro 擠進獨立評測前四，但速度、輸出量與權重釋出都還要再看
Moonshot 的新模型官方分數逼近 Claude Opus 5.5，Artificial Analysis 也排它第四，但它偏慢、輸出多，權重也還沒放出。
opencode 在 Windows／WSL 登入遠端 MCP 時可被執行程式：修了，但沒有公告
opencode 1.0.137 到 1.18.32 在 Windows／WSL 上，登入遠端 MCP server 時可能被執行任意程式；請升級到 1.18.33 以上。
Jev 是什麼？把 AI 的判斷直接接進程式
從 Pokémon 換人、Grassworks 場景控制到影評校準測試，看 Jev 如何把判斷交給程式，也看懂速度、價格與零幻覺宣稱的限制。
ChatGPT dots 能持續替你做事嗎？從 X 首波使用回饋看價值與卡關
OpenAI 在 9 月 29 日 DevDay 發表 dots。本文介紹持續工作的助手如何使用，整理 X 親測回饋與 Reddit 討論：語音交辦、跨任務協作令人期待，登入、進度與產品入口仍有摩擦。