Hacker News フロントページ1 週間前Fermat's Last Theorem in Lean 4フェルマーの最終定理が Lean 4 で証明された。aaraujo002 著141 ポイントコメント 31 件ディスカッション→ GitHub リポジトリ：anthropics/fermats-last-theorem
