Conway's conjecture

1 則報導橫跨 1 期2026-09-19 起

一起出現的主題

#Claude1 #Lean1

2026-09-19Hacker News

網友利用 Claude 耗時一個月寫出 Conway 猜想的 Lean 證明，已通過 Palomar 註冊表機械檢查