快评栏目
频道编辑组 2026-04-28 05:40:30 阅读 999

23岁门外汉用ChatGPT“vibe math”攻克60年Erdős问题:AI如何用人类想不到的新思路证明原始集猜想

围绕谁有1å…ƒ1分跑的快群、尾盘收å±ç›¸å…³çº¿ç´¢ï¼Œè¡Œä¸šå†…关于尾盘收局的共识正在形成。
23岁门外汉用ChatGPT“vibe math”攻克60年Erdős问题:AI如何用人类想不到的新思路证明原始集猜想

行业内关于尾盘收局的共识正在形成。

历史经验值得类比。当年计算器普及后,人类从繁重计算中解放出来,转而专注更高层的策略和创意。现在AI似乎正在类似地解放idea生成环节。过去面对复杂Erdős式问题或科技底层逻辑时,许多创作者因储备不足而浅尝辄止;借助类似Price的提示策略,他们可以快速产出多个大纲或公式应用角度,然后手动补充案例和判断,形成更具原创性的内容。这不是简单复制AI输出,而是让工具服务于人类的独特判断。

最近数学圈里一条消息迅速传播开来:23岁的业余爱好者Liam Price,几乎没有高等数学训练背景,在一个闲暇的下午,随手从Erdős Problems网站挑出一个问题,直接用一个简单提示丢给ChatGPT Pro。模型在约80分钟内给出了针对问题#1196的证明,这个关于原始集(primitive sets)的渐近上界猜想,已困扰数学家近60年。

深层来看,这次突破并非AI施展魔法,而是通过直觉式提示(vibe mathing)实现了跨领域连接,绕开了人类长期积累的思维盲区。Erdős问题1196本质是量化原始集在数轴远端的求和行为,传统思路多局限于纯分析框架,而GPT-5.4 Pro意外保留了算术工具如von Mangoldt函数,并引入Markov链视角,避开了前期障碍。

历史类比或许能提供更多启发。当年计算器普及后,人类不再纠结基础运算,而是把精力转向更高层的策略与创意。如今AI正在解放idea生成环节。对于小团队或业余创作者,面对复杂科技话题时,知识储备不足曾是最大障碍;现在他们可以快速让AI输出多个大纲、公式应用或跨界比喻,然后手动验证并注入个人判断,形成高搜索意图的原创深度内容。

对AI在数学研究中的角色,我的判断是它更多扮演了打破mental block的角色,而非简单替代人类计算。普通人如Liam Price,没有博士积累,仅凭Pro订阅和随意提示,就贡献了新视角,这降低了前沿参与门槛。当然,输出仍需专家仔细打磨,幻觉风险依然存在,样本案例目前有限,值得持续跟踪。但方向明确:当模型达到GPT-5.4 Pro级别时,它已在狭窄前沿领域展现生成原创洞见的能力。

传统方法在处理这类原始集密度估计时,常自然转向Markov链或概率解释来捕捉集合的“稀疏性”。这些路径从人类直觉看顺理成章,却也形成了某种集体mental block。GPT-5.4 Pro的输出则不同,它停留在纯算术层面,巧妙调用了经典的von Mangoldt函数Λ(n)。这个函数通过∑_{d|n} Λ(d) = log n编码整数的唯一素因子分解,将原始集性质转化为直接的算术不等式,从而避开了分析工具中常见的困难。

Liam Price的故事并非孤例,而是AI时代普通人借助工具参与科学前沿的缩影。erdosproblems.com这样的平台正因类似输入而更具活力,数百个开放问题或许将迎来新一轮“vibe mathing”实验。人类依然负责验证与拓展,但AI提供的全新路径,已悄然改变研究节奏。未来,更多跨领域爱好者或学生是否会重复这一过程,现在下结论为时尚早,却已足够引发思考:当简单提示就能绕过集体路径依赖时,数学研究的边界究竟会如何扩展。

这次突破的过程揭示了AI在数学研究中的独特定位。Liam Price的提示极为简洁,没有前期文献调研或多轮迭代引导,GPT-5.4 Pro却自主将数论中已知的von Mangoldt权重应用于此问题,构建了一个纯分析框架下的流图论证,避开了概率视角的常规诱导。这种“vibe mathing”模式——靠直觉式输入让模型自主探索——产生了人类因集体mental block而长期未尝试的路径。

深层来看,AI这次的突破源于一种全新的连接方式。传统研究往往从概率框架切入,Lichtman在2022年前后的工作已取得部分上界结果,但要精细控制渐近行为仍面临分析障碍。AI却没有遵循这条诱人的路径,而是停留在算术领域,直接调用von Mangoldt函数——这一经典数论工具常用于素数分布和Riemann zeta函数研究。

长期而言,如果更多类似突破涌现,它或将催生新的数学思考范式,帮助我们重新审视大数结构中的隐含联系。AI在这里更像“新连接方法”的提供者,而非独立证明者。其原始输出往往需要人类精炼,这也提醒我们:AI辅助数学仍有明显边界。如果人类过度依赖直觉式跳跃,是否会逐渐削弱自身严谨推理能力?这一点目前行业内仍有不同声音,现在下结论为时尚早。

尾盘收局的应用,正在重塑内容生产的规则。

作者简介

文章整理人员以素材清洗归档为核心,配合资讯页面维护完成频道内容维护,关注用户检索场景下的内容完整度,提升页面在批量生成场景下的自然度,并根据当期话题做差异化补充。

互动数据

点赞 2202 · 评论 1

固定链接:http://bbb.cn.www.ss7a.cn/images/8011.html

本文标题:23岁门外汉用ChatGPT“vibe math”攻克60年Erdős问题:AI如何用人类想不到的新思路证明原始集猜想
固定链接:http://bbb.cn.www.ss7a.cn/images/8011.html
说明:本页以频道方式对当前主题进行整理,并结合正文与相关文章提供连续阅读入口。

相关文章

查看更多

23岁业余爱好者用一次ChatGPT提示,攻克60年Erdős原始集难题全过程

一个23岁年轻人,没有接受过高等数学专业训练,却用一次简单的ChatGPT提示,解决了困扰数学家60年的Erdős原始集问题。这听起来像科幻故事,但它真实发生了。 Erdős原始集问题,指的是数学家保罗·埃尔德什等人提出的猜想。原始集是一种正整数集合,其中任意两个不同元素互不整除,就像素数的推广。埃尔德什定义了这种集合的“分数”——对集合中每个数n求1/(n log n)的和。他猜想,对于足够大...

发布时间:2026-07-01

业余爱好者用ChatGPT攻克60年Erdős数学难题:普通人如何用AI自学数学

最近,一则数学圈的消息迅速传播开来。23岁的业余爱好者Liam Price,在一个闲暇的周一下午,随手把Erdős问题1196输入ChatGPT Pro,只用了一个提示词,就让GPT-5.4 Pro给出了这个困扰数学家60多年的问题的全新证明方法。问题涉及“原始集”(primitive sets),即集合中任意两个不同元素都没有倍数关系,研究的是这类集合中较大元素贡献的求和1/(a log a)随...

发布时间:2026-07-01

Erdős未解问题列表中适合AI尝试的低难度目标

最近,一则数学圈新闻刷屏:23岁的Liam Price没有高等数学训练背景,却靠ChatGPT Pro一个提示,在80分钟左右拿下Erdős问题#1196。这个问题由Erdős、Sárközy和Szemerédi在60多年前提出,涉及“primitive set”(原始集,指集合中任意两个不同元素互不整除)。问题核心是证明这类集合的某种加权和是否满足特定界限。Price的尝试让Terence Ta...

发布时间:2026-07-01

Hacker News热议:23岁业余者用ChatGPT单提示解决60年Erdős问题,AI数学能力再引争议

最近,一则关于AI在数学领域的消息在Hacker News上迅速获得高分讨论。23岁的Liam Price没有接受过高级数学训练,却用ChatGPT Pro的一个提示,引导GPT-5.4 Pro解决了保罗·埃尔德什(Paul Erdős)遗留的第1196号问题。这个问题涉及“原始集”(primitive sets),即整数集合中任意两个不同元素互不整除,类似于素数的推广。猜想的核心是,对于足够大的...

发布时间:2026-07-01

AI粗糙输出如何被数学家“精炼”成Erdős正式证明?业余者+ChatGPT解决60年难题全流程

最近数学圈流传一个故事:一个23岁的业余爱好者,只用一条提示词,就让ChatGPT的最新模型帮他“解决”了保罗·Erdős留下的一个60年老难题。事件迅速登上Scientific American,标题里突出“amateur armed with ChatGPT”,网友热议AI终于要民主化数学了。可仔细看下去,这件事远没有表面那么简单。 Erdős问题1196是关于“原始集”(primitive...

发布时间:2026-07-01

Erdős问题与AI:从文献搜索到原创证明的演进

最近,一则数学圈的消息迅速传播开来。23岁的Liam Price没有高级数学背景,却用ChatGPT Pro的一次随意提示,让AI在约80分钟内生成了对Erdős问题1196的证明。这个问题困扰数学家们长达60年,核心是关于原始集的求和界限。原始集指的是整数集中任意两个不同元素互不整除的集合,素数就是典型的原始集。 Erdős问题1196是原始集猜想的一个渐近版本,由Erdős、Sárközy和...

发布时间:2026-07-01