トレンドニュース

Claude、フェルマー最終定理を11日間で機械証明

AnthropicのAI「Claude」が、Lean言語で1300万行のコードを生成し、フェルマー最終定理の世界初のコンピュータ検証済み証明を11日間で完成。Prove2MEプラットフォームで数十のAIエージェントが自律的に協働し、AI数学証明・自動形式化の歴史的マイルストーンを達成した。