17岁高中生用AI解决数学界难题，陶哲轩、Jeff Dean点赞

AIGC动态2小时前发布 almosthuman2014

52 0 0

文章摘要

17岁高中生Enrique Barschkis在课间休息时间成功解决了困扰数学家多年的埃尔德什第347号问题。这一成就不仅在社交平台引发热议，还获得了谷歌首席科学家Jeff Dean的赞誉。该问题由埃尔德什和格雷厄姆在1980年提出，涉及数论中完全序列理论的核心，要求在严格的增长率限制下，保证几乎所有足够大的正整数都能表示为序列中某些项的和。

著名数学家陶哲轩曾在去年10月尝试用ChatGPT搜索相关文献，并提出了一个巧妙的构造思路。他将序列分成若干个区块，通过精心设计每个区块内的元素比例和区块之间的连接，试图满足问题的要求。这个想法基于类似进位制的表示方法，但当时尚未形成完整证明。

直到2026年1月21日，Enrique在陶哲轩和沃特的思路基础上，构造了一个具体的序列并完成了完整证明。他将序列分成若干区块，区块长度呈对数级别增长，内部由几何级数构成，区块之间通过调整项连接。这种设计确保了相邻项比值趋近于2，同时通过”进位调整”机制实现了子集和覆盖几乎所有自然数的目标。Enrique还使用人工智能工具Aristotle将证明形式化为Lean语言代码，使数学证明可以被计算机严格验证。

陶哲轩对Enrique的证明给予了高度评价，特别赞赏其对参数处理的合理性。Enrique坦承在证明过程中使用了GPT Codex来编写LaTeX代码并改进部分内容，同时得到了数学家Bartosz Naskręcki的帮助。Bartosz强调Enrique应获得全部荣誉，认为他在17岁时就开辟了通往数学前沿的道路，展现了非凡的勇气和热情。

这一事件标志着数学研究正在进入新阶段，年轻研究者能够借助AI工具更快地触及学科前沿。随着AI技术的进步，人类创造力与人工智能计算力的深度融合可能会催生更多突破。目前Erdős Problems网站已将问题标记为”肯定解决”，表明Enrique的解决方案获得了数学社区的认可。这不仅是一个少年解决难题的故事，更预示着未来数学研究模式的变革方向。