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

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

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