2025年12月，陶哲轩与多名数学家借助AI工具，在48小时内破解了尘封50年的Erdős#1026难题。该问题最早于1975年提出，涉及博弈论和计算几何领域。通过AlphaEvolve、ChatGPT等AI工具的辅助，团队快速生成关键猜想并完成证明，最终将问题转化为矩形填充问题解决。此次协作结合了人类智慧与AI技术的优势，展现了‘人+人+AI’合作模式的巨大潜力。陶哲轩此前也曾用AI解决其他Erdős问题，并表示AI辅助在数学研究中已变得常见。Erdős问题网站鼓励公开使用AI解题，但需确保内容经过独立验证。这一成果标志着AI在数学领域的应用迈入新阶段。

2025年12月1日，数学界迎来重大突破：AI模型Harmonic旗下的Aristotle（亚里士多德）仅用6小时成功证明了悬置近30年的Erdős问题#124简易版。该问题探讨特定条件下大整数的生成规则，原版难度极高，而此次证明的是条件放宽后的版本，且已通过Lean形式化验证。微软前AI副总裁Sebastien Bubeck及数学家陶哲轩均对这一成果表示关注。Harmonic公司由Tudor Achim和Vlad Tenev于2023年创立，目标是打造世界领先的数学推理引擎。其最新融资达1.2亿美元，估值14.5亿美元。Aristotle还计划参加2025年国际数学奥林匹克竞赛，并展现金牌级表现。这一进展标志着AI在复杂数学领域潜力巨大，或推动更多难题被攻克。

正文：2025年9月，数学家陶哲轩在OpenAI的GPT-5模型帮助下，成功解决了一个与Erdős问题相关的数学难题。通过AI生成高精度小数并与OEIS数据库比对，陶发现Erdős问题#259与已有研究成果匹配，从而将其标记为“已解决”。这一突破是Erdosproblems/OEIS关联项目的首次概念验证成果，展示了AI在半自动化文献检索中的潜力。该项目由陶哲轩和英国数学家Thomas Bloom发起，旨在将Erdős问题与OEIS数列关联，避免重复研究。项目采用众包方式推进，目前已在GitHub开源。