17岁高中生如何用AI破解世界数学难题？陶哲轩与Jeff Dean盛赞
免费影视、动漫、音乐、游戏、小说资源长期稳定更新！ 👉 点此立即查看 👈
编辑｜杨文
你的童年我的童年好像不一样。
我的 17 岁，是坐在教室里苦哈哈地刷数学卷子；而这个名叫 Enrique Barschkis 的高中生，利用课间休息时间，成功解决了困扰数学家多年的埃尔德什第 347 号问题。
这一成就不仅在社交平台 X 上引发热议，更得到了谷歌首席科学家 Jeff Dean 的盛赞。
什么是埃尔德什第 347 号问题？
埃尔德什第 347 号问题，最初由埃尔德什和格雷厄姆在 1980 年提出，核心问题是：是否存在一个整数序列，其中相邻项的比值趋近于 2，并且对于该序列的任何余有限子序列，其有限子集和构成的集合在自然数中的密度都是 1？
这个问题触及了数论中完全序列理论的核心，其难度在于需要在严格的增长率限制下，保证几乎所有足够大的正整数都能表示为序列中某些项的和。
去年 10 月，著名数学家、菲尔兹奖得主陶哲轩在 Erdős 问题 的讨论区里，用 ChatGPT 搜索相关文献，找到了一篇 Burr 和 Erdős 的旧论文。
然而数学家沃特很快发现，那篇论文中的结果使用的是相邻两项的比值条件，与本问题要求的相邻项比值条件略有不同。
陶哲轩提出了一个巧妙的构造思路：将序列分成若干个区块，每个区块长度缓慢增长，通过精心设计每个区块内的元素比例和区块之间的连接，使得序列既满足比值趋近于 2 的要求，又能保证其子集和覆盖几乎所有自然数。这个想法基于一种类似进位制的表示方法，通过在每个区块末尾添加调整项，为数的表示提供足够的灵活性。
17 岁少年完成完整证明
这个构想在讨论区挂了三个月，直到 2026 年 1 月 21 日晚上，这个 17 岁的高中生 Enrique 发帖宣布：他完成了完整的证明。
他在陶哲轩和沃特的思路基础上，构造了一个具体的序列：将序列分成若干区块，第 n 个区块的长度大约是对数的对数级别增长，区块内部由几何级数构成，区块之间通过精心设计的调整项连接。这种构造确保了相邻项比值在整体上趋近于 2，同时通过「进位调整」机制，使得几乎所有正整数都能表示为序列中某些项的和。
他还使用人工智能工具 Aristotle 将这个证明完全形式化为 Lean 语言代码，这是数学证明可以被计算机严格验证的形式。
陶哲轩在看到 Enrique 的证明后评论道：「干得漂亮！你处理 k 随 n 缓慢增长的方式在我看来是合理的，而且很高兴看到 Lean 确认了所有各种簿记和边界情况。」
他随即询问：「创建非形式证明时使用了 AI 工具吗？」Enrique 坦诚地回答，他使用了 GPT Codex 来编写 LaTeX 代码并改进部分内容，同时得到了数学家 Bartosz Naskręcki 的大量帮助。
Bartosz Naskręcki 随后转发并评论：「Enrique 几周前给我发邮件，随意聊了聊椭圆曲线离散对数问题。我们用模型和 Aristotle 测试了他的许多想法。我为他感到非常自豪，在高中课间休息的间隙，他在 17 岁时就开辟了通往数学前沿的道路！我的建议只包含适度的提示和鼓励。Enrique 理应获得全部荣誉，他的勇气和热情值得赞扬。好运，伙计 —— 向星辰进发！」
谷歌的 Jeff Dean 也转发了这条消息：「爱看这种事，17 岁的 Enrique 解决了一个有趣的数学问题，与陶哲轩讨论，并感谢 Bartosz Naskręcki 给予的『 大量帮助 』，而 Bartosz 说他实际上提供的帮助很少。这种广泛分享荣誉的本能真是太棒了！」
目前 Erdős Problems 已经将问题 #347 标记为「肯定解决」，这意味着 Enrique 的解决方案得到了数学社区的认可。
这件事的意义远不止一个少年解决了一道难题那么简单。它标志着数学研究正在进入一个新阶段：年轻研究者借助 AI 工具，能够更快地触及学科前沿。
随着 AI 工具的不断进步，类似的突破可能会越来越多。未来的数学研究，或许将是人类创造力与人工智能计算力深度融合。
https://x.com/JeffDean/status/2014195425277100251
https://www.erdosproblems.com/forum/thread/347
相关攻略
Jay 发自 凹非寺量子位 | 公众号 QbitAI陶哲轩在普林斯顿高等研究院待了一年，差点让他江郎才尽了。在与顶级播客主理人Dwarkesh Patel的最新访谈中，这位菲尔兹奖得主用亲身经历，向
3月12日，近日，OpenAI核心高管Mark Chen与菲尔兹奖得主陶哲轩在加州大学洛杉矶分校纯粹与应用数学研究所展开对话，全面披露了AI在数学与科研领域的突破。陶哲轩表示，过去一年AI已从“低
新智元报道编辑：元宇【新智元导读】从电脑崩溃到半小时拿下Lean形式化证明，数学大神陶哲轩用亲身踩坑经历警告：AI越强大，人类越不能偷懒，应时刻保持「人类在环」的绝对清醒。连跑45分钟，烧光Toke
近日，菲尔兹奖得主、加州大学洛杉矶分校（UCLA）数学系教授陶哲轩（Terence Tao）在 YouTube 发布了一段时长约 26 分钟的实操视频，详细演示了如何利用 Anthropic 推出的
新智元报道编辑：定慧 好困【新智元导读】Google DeepMind最新AI智能体Aletheia在FirstProof挑战赛中，独立攻克了6道世界级数学难题，实现了从竞赛水平到PhD科研级的质变
热门专题
热门推荐
《无限轮回》新手入门指南：高效开局与核心机制解析 你是否渴望在《无限轮回》中快速成长，成为团队中可靠的伙伴？对于新手而言，正确的开局思路至关重要。切忌盲目拾取未知物品，一个不当操作——例如过早将关键法器“葫芦”交给队友——就可能打乱核心输出的成长节奏，导致团队覆灭。作为团队辅助，你的首要目标并非打出
Fami通最新销量榜出炉：日本实体游戏软件销量数据解读（2026年3月16日-22日） 日本游戏市场每周的风向变幻，总是由那些长青的头部作品与新晋热作共同书写。根据权威媒体《Fami通》最新发布的实体销量估算数据，在2026年3月16日至3月22日这一周，市场格局呈现出清晰的趋势：任天堂Switch
王者荣耀S43赛季射手梯度排行榜单 新赛季的射手格局已基本定型，可以用一句话概括核心趋势：敖隐与蚩妩两位英雄构成双星闪耀的T0阵营，综合强度堪称断层领先。紧随其后的T1梯队中，公孙离、艾琳、孙权、元流之子（射手）等英雄各怀绝技，或凭借极致的灵活拉扯掌控战局，或依赖无解的持续输出主宰团战。而处于T2梯
长生：天机降世怎么玩：从入门到精通的全面攻略 《长生：天机降世》是一款深度策略卡牌手游。其核心玩法在于通过策略性的卡牌组合与角色搭配，在限定回合内，最大化自身伤害输出并在竞技排行榜上取得优势。想要玩好这款游戏，深入理解其底层机制是关键第一步。 《长生：天机降世》新手入门与高阶玩法解析： 一、游戏核心
在本来生活平台下单购物后，及时查询并跟踪物流信息，可以帮助我们准确掌握包裹的预计送达时间，提前做好收货安排。那么，在本来生活应该如何高效地查询快递物流状态呢？下面为您详细介绍几种常用方法。 进行网络购物之后，用户最关心的问题通常是“我的包裹现在运送到哪里了？”实时了解物流进度，不仅能减少等待期间的焦