文章核心观点 - 著名数学家陶哲轩利用OpenAI最新模型GPT-5，结合OEIS数据库，成功解决了一个长期悬而未决的Erdős问题，展示了AI在半自动化文献检索和跨知识库关联方面的独特价值 [1][3][4][18] AI在数学研究中的应用模式 - AI在此次研究中扮演了“定位器”或“桥梁”的角色，通过将复杂数学问题转化为高精度小数（数字指纹），并与现有数据库进行比对，从而连接起分散的知识源 [3][4][11][14] - 具体流程是：陶哲轩要求GPT-5将Erdős问题中的无理性相关级数展开成高精度小数，然后将这些小数输入OEIS进行搜索匹配 [11][12][15] - 该方法成功匹配到Erdős问题 259与OEIS数列A371134，并通过OEIS的参考文献找到了已存在的完整解决方案，最终将该问题的状态更新为“已解决” [15][17] 项目背景与运作机制 - 此次研究是“Erdosproblems/OEIS关联项目”的一部分，该项目由陶哲轩和英国数学家Thomas Bloom提议发起，并在GitHub社区开源 [20][24] - 项目旨在解决数学研究中信息分散和遗漏的问题：一方面，部分数列已在OEIS中但未被Erdosproblems网站收录；另一方面，许多Erdős问题相关的数列尚未被OEIS收录 [25][28] - 项目采用众包方案推进：第一步，参与者尝试计算出Erdős问题对应的整数数列；第二步，与OEIS数据库进行比对；第三步，将关联结果记录到GitHub表格中 [26][27] 涉及的关键实体与数据 - 涉及的数学家Paul Erdős一生合作了超过500位数学家，发表了约1525篇数学论文 [5] - Erdős问题库由Thomas Bloom搭建的网站收录，包含了近1000道问题 [15][28] - OEIS是一个更庞大的数据库，收录了几十万条整数数列 [28]