Lean
9 則報導橫跨 7 期2026-08-02 起
2026-09-19Hacker News
網友利用 Claude 耗時一個月寫出 Conway 猜想的 Lean 證明，已通過 Palomar 註冊表機械檢查
2026-09-09Reddit r/singularity
據報 OpenAI 模型解開千禧年大獎難題 Navier-Stokes，並引發學者爭議
2026-09-09OpenAI News
OpenAI 發布 AI 生成的千禧年大獎難題 Navier-Stokes 解答與 Lean 形式化證明
2026-09-06量子位
GPT-6 Astra 將孿生素數間距上界縮至 186，陶哲軒警告黑盒解題恐扼殺數學發展
2026-09-05Hacker News
Anthropic 宣布 Claude 耗時 11 天自主完成費馬最後定理首次電腦驗證證明，產出 1300 萬行 Lean 程式碼
2026-08-28Reddit r/singularity
據傳學者藉助 Claude 提出 Hopf problem 百頁證明，OpenAI 研究員以 Codex 轉為 25 萬行 Lean 程式碼
2026-08-12The Verge AI
OpenAI 未發布模型 Astra 解決 10 項數學難題，並以 Lean 軟體驗證證明
2026-08-12TechCrunch AI
Anthropic 未發布模型在黎曼猜想取得重大進展，協調 60 個子代理並消耗 3100 萬 token
2026-08-02Hacker News