なぜErdős ProblemはAIによって解決されつつあるのか

AIがエルデシュ問題（数学における未解決問題）の解決に貢献している。AIの数学的思考への応用と、それがもたらす研究の進展について解説。

• OpenAIのAIモデルが、1946年にポール・エルデシュが提唱した「単位距離問題」の反例を発見した。
• このAIモデルによる解決は、これまで問題解決に適用されてこなかった遠い分野の数学的アイデアを取り入れた点が革新的だった。
• さらに別のOpenAIのモデル「Astra」が、エルデシュの問題3件を含む10件の数学的進展をもたらした。
• これらのAIによる数学的発見は、AIモデルの数学的能力における「相転移」と見なされ、研究手法を変えつつある。