Claude、リーマン仮説に関する制限を改善

Claudeの検索バージョンが、リーマン予想に関連する限界値を41.6%から67.2%に向上。60個のサブエージェントとLeanでの形式化された証明により、数学的探求におけるAIの貢献を実証。

• ClaudeのAIが、数学界で長年未解決とされるリーマン仮説に関連する下限値を41.6%から67.2%に向上させたと発表されました。
• この進捗は、人間が過去37年で達成した0.8%の向上と比較して、AIの計算能力の飛躍的な進歩を示しています。
• Claudeは、既存の2つの数学的論文を独自に組み合わせて、この限界値の改善に成功したとされています。
• 今回の成果は、AIが複雑な数学的問題の解決に貢献できる可能性を示唆しており、今後の研究開発への期待が高まります。