フェルマーの最終定理
-
Claudeがフェルマーの最終定理を11日で形式化｜1,300万行の証明を検証する仕組み
Anthropicが発表したフェルマーの最終定理のLean形式化を、公式発表・公開コード・数学者の検証報告で確認。11日間と1,300万行の意味、使用モデル、公理の検査、人間のプロジェクトとの違いを整理し、業務への応用で注意すべき点を解説します。
2026年9月6日
-
フェルマーの最終定理とは｜360年の歴史とロマンティック数学ゼミ開催レポート
この記事のポイント ・フェルマーの最終定理は1637年に提起され、1995年にアンドリュー・ワイルズが証明 ・xⁿ + yⁿ = zⁿ の n≥3 の整数解は存在しないという主張 ・ロマンティック数学ゼミで「解決までの360年」をドラマとともに辿った内容 ・楕円曲線・谷山・志村予想との深いつながり フェルマーの最終定理…
2019年3月1日
