Hacker News 首頁7 天前Fermat's Last Theorem in Lean 4費馬最後定理在 Lean 4 中獲得證明。作者 aaraujo002141 分31 則留言討論串→ GitHub repo：anthropics/fermats-last-theorem
