AIニュース

Claudeがフェルマーの最終定理を11日で形式化、1300万行のLeanコードで初の完全な機械検証済み証明を完成

2026.09.07 15:37
Livedoor.com
このエントリーをはてなブックマークに追加

AI開発企業のAnthropicは2026年9月4日、AI「Claude」がフェルマーの最終定理について最初から最後までコンピューターで検証できる証明を完成させたと発表しました。Claudeは11日間にわたってほぼ自律的に作業し、証明支援システム「Lean 4」で約1300万行のコードを生成。Anthropicはフェルマーの最終定理について初の完全な機械検証済み証明だと説明しています。Formalizing Fermat's Last Theorem \ Anthropichttps://www.anthropi…

記事全文へ

検索

人気記事

アンソロピック、評価額141兆円でOpenAI超えへ──人類史上最大の資金調達ラウンド（Forbes JAPAN） - Yahoo!ニュース

2026.05.05 11:04

キリングループが免疫研究と「示温シール」を公開 / AIボイスレコーダー「HiDock P1」の魅力【まとめ記事】

2026.09.06 23:00

Encore.go入門：GoでAPI・サービス・DB・ローカル開発環境までまとめて扱う

2026.09.07 0:40

GPT-6 Astraで飛躍的に向上したゲーム制作能力 - Unreal Engine / Unity / Godot / Three.js｜npaka

2026.09.06 20:01

AIエージェント開発の知識地図 | 技術評論社

2026.09.06 21:14

コメント一覧

まだコメントはありません。

コメント