関連ニュース
Claudeがフェルマーの最終定理を11日で形式化、1300万行のLeanコードで初の完全な機械検証済み証明を完成
AI開発企業のAnthropicは2026年9月4日、AI「Claude」がフェルマーの最終定理について最初から最後までコンピューターで検証できる証明を完成させたと発表しました。Claudeは1...
GIGAZINE
09/07 06:37
Formalizing Fermat's Last Theorem
We are sharing the first complete computer-checked proof of Fermat’s Last Theorem. Claude worked ...
はてなテクノロジー
09/04 18:57
出典メディア
CNET Japan (1)
GIGAZINE (1)
はてなテクノロジー (1)
つながり
数字は「Lean」と一緒に出てきた記事の本数。 グラフには強いものだけが出るので、ここが全部です。
Claude
2
形式化
2
AI・人工知能
2
Anthropic / Claude
2
ミレニアム
1
1300万行
1
Leanコード
1
定理証明支援
1
AI開発
1
1300万
1
res...
1
機械検証済み
1
Anthropic
1
自律的
1
computer-checked
1
OpenAI / GPT
1
Theorem.、Claude
1
定理証明支援系
1
language.、Below,
1
11日間
1
ナビエ・ストークス方程式
1
フェルマー
1
Theorem.
1
証明支援システム
1
Theorem
1
機械検証済み証明
1
OpenAI
1
language.、Below
1
Last
1
米国
1
最終定理
1
ナビエ・ストークス
1
AIシステム
1
コンピューター
1
AI開発企業
1
Fermat
1
Formalizing
1
computer-
1
ミレニアム懸賞
1
Fermat's
1