AI

AnthropicのAI「Claude」が、フェルマーの最終定理における初のコンピュータによる機械検証済み証明を達成しました。11日間という短期間で約1300万行のLeanコードを自律的に生成した、数学とAIにおける重要な成果を解説します。