AIが伝説のエルデシュ問題を解き始めた：その理由とは

Why the Legendary Erdős Problems Are Falling to AI

2026年、OpenAIのAIモデルがポール・エルデシュが1946年に提唱した「単位距離問題」への反例を発見し、数学界に衝撃が走った。その後もエルデシュの問題のさらなる解決が相次ぎ、AIの数学能力が転換点を迎えたと評されている。本記事では、エルデシュ問題がAIのテストベッドとして最適な理由を、問題の特徴や数学者コミュニティの動きを通して解説する。