ニュースへ戻るニュース要約AIが350年間未解決だった数学の問題を解き、これまでで最も長い証明を書いたAnthropicは、Claudeが11日をかけてフェルマーの最終定理を1300万行のコードに変換したと述べ、人間の信頼を必要とせずコンピュータが自身で確認できるようになったと説明しているソースDecrypt公開日時2026-09-05 13:01 UTC更新2026-09-05 13:03 UTCArtificial Intelligence本ページはタイトル、要約、出典情報のみを表示します。原文を開く ↗手数料を確認関連テーマ01Users and AppsDecryptFollow consumer wallet, application, security, DeFi, and market updates before deciding whether Energy rental is needed.