エルデシュの伝説的問題が人工知能に屈する理由

OpenAIは、内部のAIモデルがポール・エルデシュの単位距離問題（1946年の予想）に対する反例を発見したと発表した。この結果は後に人間の数学者によって改善されたが、遠く離れた数学の分野からのアイデアを用いた点で斬新だった。8月1日、OpenAIは別のモデルであるAstraが10件の追加の数学的ブレークスルーを達成し、さらに3つのエルデシュ問題を解決したと発表した。ノガ・アロンは、これらのモデルが数学研究を根本的に変えつつあると指摘した。トーマス・ブルームは2023年初頭にエルデシュ問題をまとめるためのウェブサイトerdosproblems.comを作成し、2025年8月にはコメント欄を追加してコミュニティを育成した。アマチュア数学者のウーター・ファン・ドールンは、コミュニティの助けを借りて問題1102を解決し、テレンス・タオからフィードバックを受けた。後に、ケビン・バレトとリアム・プライスがGPT-5.2とGPT-5.2 Proを使用して問題解決に挑んだ。彼らは問題333を解決したが、それはエルデシュが1977年にすでに解決していたことが判明し、その後、先行する解決策が見つからなかった問題728を解決した。