人工知能（AI）がエルドシュ（Erdős）の未解決数学問題への貢献を広く行っている。このページは、AIツールがエルドシュの問題にどのように貢献したかをまとめたもので、問題の難易度は極めて高いものから、AIに適した「手の届く果実」まで多様である。AIの成果は、完全な解決、部分的解決、反例の探索、既存証明の再発見、文献レビュー、証明の形式化、人間とAIの共同作業など、多岐にわたる。 2025年11月以降、AlphaEvolve、Aristotle、ChatGPT 5.2 Pro、Gemini DeepThink、SeedProverなどのAIツールが、複数の未解決問題に対して部分的成果や新たな構成法を提示している。例えば、問題[106]ではAIが既存の構成と一致し、問題[36]や[1097]では過去の結果をわずかに上回る成果が得られた。一方、問題[64]や[493]では反例が見つからず、問題[52]や[67]では既存の構成と一致しなかった。 また、AIが「未解決」とされていた問題を解決したとされる例も複数ある。問題[333]（Erdős–Newman, 1977）や[897]（Wirsing, 1981）などでは、AIが既存の証明と類似したアプローチで解決を示したが、後で文献で既に解かれていたことが判明。同様に、問題[1026]（Tidor–Wang–Yang, 2016）や[1077]（Jiang–Longbrake, 2025）も、AIが「解決」したとされたが、実際は既に人間が解いていた。 AIは既存の証明の再発見や、新たな証明の発見にも貢献。問題[198]や[942]では、AIが既存の証明を再現、問題[264]や[1043]では部分的証明の新証明が得られた。人間とAIの共同作業も進展。Terence Taoらは、Gemini DeepThinkやAristotleを活用し、問題[367]や[1026]で部分的・完全な解決に成功。 さらに、AIによる文献レビューも実施。GPT-5やChatGPT DeepResearchは、問題[35]、[94]、[223]などについて、部分的・完全な解法を発見。ただし、誤った証明や、問題の文言の誤り（例：[370]、[516]）に陥るケースも。 証明の形式化では、AristotleやSeedProverがRuzsa、Baumgartner、Clemenらの証明をLeanなどに形式化。 AIの貢献は明確だが、その信頼性には注意が必要。AIは誤りを犯し、既存の証明を再発見するが、文脈の誤解や問題の誤解釈も生じる。特に「AIが解いた」とされる発表は、すぐに本サイトに反映されないことが多く、信頼性を確認するためには、問題の議論ページをチェックする必要がある。 AIはエルドシュ問題の研究に強力な支援を提供しているが、人間の専門的判断と文脈理解が不可欠である。