Anthropicが発表したフェルマーの最終定理のLean形式化を、公式発表・公開コード・数学者の検証報告で確認。11日間と1,300万行の意味、使用モデル、公理の検査、人間のプロジェクトとの違いを整理し、業務への応用で注意すべき点を解説します。
2026年9月6日
遠方に在住の方や自宅で講義を受けたい方はオンライン講座をご用意しております。よくある質問はこちら
気軽にお問い合わせいただけます。
月曜定休日 13:00 ~ 21:00
フォームに記載の上お問い合わせください。
