日: 2024年12月19日

投稿日:

“Fermat’s Last Theorem — how it’s going”を読んだ

Fermat’s Last Theorem — how it’s going | Xena を読んだ。

  • フェルマーの最終定理(FLT; Fermat’s Last Theorem)の形式証明を目指している筆者の記事である
  • 形式証明のツールとしては Lean を利用している
  • 対象はアンドリュー・ワイルズが証明した1990年代の証明でなく、クリスタリン・コホモロジーに基づく証明である