ニュースへ戻るニュース要約

AIが350年間未解決だった数学の問題を解き、これまでで最も長い証明を書いた

Anthropicは、Claudeが11日をかけてフェルマーの最終定理を1300万行のコードに変換したと述べ、人間の信頼を必要とせずコンピュータが自身で確認できるようになったと説明している

ソース
Decrypt
公開日時
2026-09-05 13:01 UTC
更新
2026-09-05 13:03 UTC

本ページはタイトル、要約、出典情報のみを表示します。

原文を開く ↗手数料を確認

関連テーマ