AIが数学の難問に貢献

Anthropic社のAIモデルであるClaudeは、リーマン予想を満たすゼロ点の下限を41.6%から67.2%に改善しました。過去の研究からの洞察と650ものアイデアを試すことで、Claudeは複数のサブエージェントを連携させ、数値的な検証を実行し、その発見を再証明しました。2人の数学者と正式な検証がこの結果を裏付け、数学研究を進める上でのAIの予想外の可能性を浮き彫りにしました。