AI助力数学突破：陶哲轩用GPT-5实现半自动化文献检索
AI作为“定位器”，成功关联Erdős问题与OEIS数列数据库
GPT-5再次助力著名数学家陶哲轩取得研究进展。此次成果并非直接证明数学猜想，而是通过AI辅助实现“半自动化文献检索”，成功将一个长期未明确归属的Erdős问题与已有学术成果关联，验证了AI在数学研究中的桥梁价值。
陶哲轩指出，这是Erdős问题与OEIS（整数数列在线百科全书）关联项目的首次概念验证成功案例。AI在此过程中并未直接完成证明，而是通过高精度计算生成“数字指纹”，再通过数据库比对，发现已有研究成果。
AI在数学研究中扮演“定位器”角色
Erdős问题是20世纪著名数学家Paul Erdős提出的数百个未解难题，其中一类问题关注某些数学表达式的结果是否为有理数。这类问题存在两大难点：一是计算复杂度极高，手工难以完成；二是即使获得高精度数值，也无法直接判断其有理性。
陶哲轩利用GPT-5将特定级数展开为高精度小数，并将结果输入OEIS数据库进行匹配。最终发现，Erdős问题#259与OEIS数列A371134完全匹配。
通过OEIS提供的参考文献，陶哲轩定位到Yong-Gao Chen与Imre Z. Ruzsa的论文，确认该问题早已被解决，但此前未被Erdosproblems网站收录。随后，他将该问题状态更新为“已解决”。
AI本身计算未必完全可靠，但可作为高效“定位器”，帮助研究者快速找到权威的人类研究成果，兼顾效率与可信度。
Erdosproblems/OEIS关联项目简介
该项目由陶哲轩与英国数学家Thomas Bloom共同发起，旨在打通Erdosproblems网站与OEIS数据库之间的信息壁垒。目前项目已在GitHub开源，采用众包协作模式推进。
项目背景：
- Erdosproblems网站：收录近1000个Erdős问题，标注其解决状态。
- OEIS：全球最大的整数数列数据库，包含数十万条数列及其数学背景。
长期以来，两个系统独立运行，导致信息分散甚至遗漏。关联项目通过以下流程解决该问题：
- 计算Erdős问题对应的数列；
- 在OEIS中检索是否已存在；
- 将匹配结果记录至GitHub共享表格。
此举有望减少重复研究，提升数学研究效率。
开源地址：
https://github.com/teorth/erdosproblems
参考链接：
[1]https://mathstodon.xyz/@tao/115135610687969581
[3]https://terrytao.wordpress.com/2025/08/31/a-crowdsourced-project-to-link-up-erdosproblems-com-to-the-oeis/