トレンドニュース

Claude AIがフェルマーの定理を11日間で証明、史上最大のLean証明を生成

AnthropicのClaude AIが、358年間数学者を悩ませたフェルマーの最終定理を11日間で機械検証可能な形式に証明。Lean言語で1300万行のコードと2万9500の中間定理を生成し、史上最大のLean証明を達成。AI推論能力の新時代を告げる歴史的マイルストーン。