Hacker News front page10/8 03:05AI 評分45
OpenAI 數學倉庫撤回 3 項結果，新增 6 項 Lean 形式化
OpenAI 更新了其 GitHub 數學倉庫，撤回了 3 項已收錄的數學結果。同一批更新還新增 6 項 Lean 形式化、修改 19 項，倉庫目前約有 42% 的 top-line 結果完成形式化。維護者 Dan Roberts 公布了這一變動，並表示會繼續補充新的形式化內容，同時記錄發現的勘誤。
搜尋
找到 3 筆；也可以試試 語意搜尋
Hacker News front page10/7 13:15AI 評分69
Pinrail：讓 coding agent 行動前先提交人工稽核的桌面應用
Pinrail 是一個 macOS 與 Linux 桌面應用，讓 Claude Code、Codex、Cursor、OpenCode 等任何能執行命令的 agent 在需要人工確認的步驟前發起稽核，你在專用檢視裡給出決定後 agent 繼續執行。agent 通過 pinrail submit 命令提交稽核內容並等待，請求按專案分組進入收件箱，返回的決定是可直接處理的 Markdown 或供指令碼使用的 JSON，命令退出碼錶示已決定、放棄、撤回或過期。
Anthropic Research9/28 20:00AI 評分32
Anthropic 用 AI 訪談徵集公眾對 AI 的看法
Anthropic 於 2026 年 9 月 29 日啟動新一輪公眾研究，用 Anthropic Interviewer 訪談使用者對 AI 的真實體驗與期待，參與者可自行決定是否公開完整訪談。公開內容只含訪談全文與所在國家，不含 Claude 帳號資訊，但 Anthropic 提示年齡、職業、城市等細節可能讓人被識別，且公開後無法撤回他人已儲存的副本。上一輪同類研究於 2025 年 12 月進行，共 81,000 人參與，僅公布高層結論和少量引語。