Anthropic、AIでフェルマーの最終定理を11日で証明

AnthropicのClaude AIシステムは、わずか11日間でフェルマーの最終定理を形式証明することに成功しました。この証明は1,300万行のコードで構成されており、コンピュータによって検証されました。この成果は、数学の研究と発見におけるAIの可能性を示しています。数学におけるAIの活用は、発見のペースを加速させ、新たな洞察をもたらすのに役立ちます。数論の基本的な概念であるフェルマーの最終定理は、1637年にピエール・ド・フェルマーによって初めて提唱されました。