▼ 用語の言い換え・手順・比較は note にまとめています
https://note.com/yasashiiainews

Claudeがフェルマーの最終定理を11日で「証明した」と話題になりました。
ただし、AIが新しい数学を発見したわけではありません。人間が30年前に完成させた証明を、Leanという機械が検証できる形に書き直した「形式化」の成果です。
約1,300万行のコードをどう確かめたのか。見出しだけでは伝わらない中身を、初心者向けに整理します。

■ 目次
00:00 AIが11日で「証明」？
01:04 フェルマーの最終定理とは
02:56 「解く」と「形式化する」の違い
03:35 約1,300万行・11日の規模
04:17 なぜ正しいと言えるのか
05:05 本当のすごさと注意点
08:04 まとめ

■ 出典
Anthropic, Formalizing Fermat's Last Theorem
https://www.anthropic.com/research/formalizing-fermats-last-theorem

Anthropic technical note
https://www-cdn.anthropic.com/9e431dff043da6538d99d6c2d231b670aa3da263.pdf

Imperial College London, Fermat's Last Theorem formalization project
https://github.com/ImperialCollegeLondon/FLT

Fermat's Last Theorem（来歴の確認）
https://en.wikipedia.org/wiki/Fermat%27s_Last_Theorem

──────────
◎ このチャンネルの作り方
・各回、OpenAI・Google などの公式発表や論文といった一次情報にあたり、数字・日付・固有名詞を独立して事実確認しています。参照元は上のリンクにすべて記載。
・「何が起きたか」だけでなく、初心者にとって何が関係あるのか、どう読むべきかという独自の見立てを必ず加えています。
・ナレーションは音声合成、図解はスクリプトで生成しています。企画・構成・取材・事実確認は人が行っています。