快评栏目
热点记录员 2026-04-28 05:40:26 阅读 730

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

围绕广东一元1分红中麻将群、一看就会相关线索,广东一元1分红中麻将群搜索用户,更倾向于停留在能帮助他们形成完整认知的页面上。
23岁业余爱好者用一次ChatGPT提示,攻克60年Erdős原始集难题全过程

广东一元1分红中麻将群搜索用户,更倾向于停留在能帮助他们形成完整认知的页面上。

陶哲轩和Jared Lichtman的介入揭示了事件的核心张力。Lichtman直言,ChatGPT的原始输出“其实很烂”,要求专家像淘金般“sift through”其中的洞见。陶哲轩则指出,人类研究者从一开始就集体走了一小步弯路,AI无意中打破了这种mental block。它意外地将整数解剖学与Markov过程或流网络的联系凸显出来,尽管相关文献早有零星暗示,却无人如此明确连接。

短期内,这一事件可能激发更多业余爱好者和研究者尝试“vibe prompting”,让Erdős问题平台涌入更多AI辅助候选。专家则需投入额外精力筛查输出,区分洞见与潜在幻觉。长期来看,数学原创门槛或将降低,普通人掌握提示技巧即可参与开放猜想。但如果AI幻觉问题未获更好解决,伪证明泛滥的风险将增加,人类深度验证的负担或将加重。这一点目前行业内仍有不同声音,值得持续跟踪,现在下结论为时尚早。

历史经验提供有益对照。过去AI在数学领域的不少成果,更偏向文献检索或已知技巧的重组,而非真正原创洞见。这次事件中,AI确实绕过了常规思维障碍,但正如Lichtman和Tao的介入所示,其输出仍需人类批判性验证和优化。社区中有人判断,如果只是“专家救场”模式,AI更像是高效的生产力工具;若能持续输出可直接验证的洞见,则可能真正加速数学进展。

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

AI在此次事件中展现的作用边界清晰而有限。它并未复制人类常见的从分析转向概率的路径,而是意外停留在算术领域,打破了专家们长期形成的mental block。数据支持这一观察:此前Lichtman等人已证明较弱上界,但精确渐近行为悬而未决。AI的贡献在于提供新连接,却依赖专家后续精炼——Lichtman和陶哲轩联手缩短证明长度,清理冗余,并明确链接整数解剖与Markov链、流网络等概念。

Scientific American以“amateur armed with ChatGPT”报道此事,Jared Lichtman称其思路接近Erdős“上帝之书”中最优雅的证明,陶哲轩则迅速将其扩展为更广的理论雏形。网友热议AI正民主化数学,让无专业训练者也能触及顶级难题。表面上看,这像是一场业余者逆袭的励志故事,但忽略了关键细节:AI生成的原始论证“其实很烂”,需要专家仔细筛选才能挖掘出其真实意图。

最近,一则来自erdosproblems.com的消息迅速在数学社区和科技媒体间传播。23岁的Liam Price没有接受过高级数论训练,却在一个普通的周一下午,通过向GPT-5.4 Pro输入一个直觉式的提示,获得了Erdős问题1196的证明草稿。这个问题涉及primitive sets(原始集)的渐近行为,由Erdős、Sárközy和Szemerédi在1960年代提出,已悬而未决超过60年。

事件曝光后,主流报道迅速聚焦“业余+AI破解60年难题”的戏剧性。媒体标题常突出Liam Price的非专业背景和单一prompt的简便性,网友在Hacker News、Reddit等平台热议AI是否会取代数学家,或仅是辅助工具。但这些讨论多停留在表面结果,较少触及AI证明中“意外关联”的生成机制,以及后续专家的精炼工作。原始输出往往粗糙,需要像筛沙般筛选有用部分,才能转化为严谨形式。

对内容创作者而言,这个事件提供了一个清晰的信号:传统niche话题挖掘常常卡在集体惯性上。科技或数学类深度内容,搜索意图虽然存在,却容易陷入同质化——大家沿着相似框架切入,产出高度重叠的解读,导致SEO竞争内卷。AI辅助内容创作在这里展现出潜力,它能生成跨领域联想和意外连接,比如将数论工具应用到看似无关的场景,而人类创作者则负责注入验证和独特洞察。这种“AI先生成框架,再人工精炼视角”的混合模式,有望帮助小团队或业余写手突破知识壁垒。

70%的人类尝试依赖概率跃迁,而AI的这一组合显得意想不到,却让论证自然收敛到∑_{a∈A, a>x} 1/(a log a) ≤ 1 + O(1/log x)的强估计。70%和这个剪刀差说明一切。

排名代发飞机【seo1268】好友聊天,输入“广东一元1分红中麻将群”咨询客服,娱乐游戏作为民间很受欢迎的纸牌玩法,乐趣集中在快节奏的刺激感、心理博弈的张力,这两种玩法的规则几乎一学就会,不用记复杂的牌型搭配,就算是新手也能快速上手,梦想是前行的灯塔,哪怕渺小,也能指引方向。不必因梦想遥远就轻言放弃,逐梦的路上,本就布满挑战。拆分目标,步步前行,哪怕每天只前进一小步,也是在靠近理想。不惧旁人的质疑,不畏前路的漫长,坚守初心,全力以赴。只要心中有梦,眼里有光,脚下有路,终能跨越山海,奔赴心之所向的远方。的落地,需要把理论拆解成每周可检查的指标。

作者简介

站点更新编辑专注于围绕信息脉络梳理进行内容整理,同时兼顾同主题段落归纳,重视页面首屏信息与正文承接,让热点正文、灰词导读和相关推荐保持基本协调,并根据当期话题做差异化补充。

互动数据

点赞 11 · 评论 2

固定链接:http://www5.name.ss7a.cn/images/8001.html

本文标题:23岁业余爱好者用一次ChatGPT提示,攻克60年Erdős原始集难题全过程
固定链接:http://www5.name.ss7a.cn/images/8001.html
说明:本页以频道方式对当前主题进行整理,并结合正文与相关文章提供连续阅读入口。

相关文章

查看更多

23岁业余爱好者用一次ChatGPT提示,80分钟破解60年Erdős数学难题

23岁Liam Price没有接受过高等数学训练,却在4月的一个普通周一下午,用一次ChatGPT提示攻克了一个困扰数学界60年的难题。这就是Erdős Problem 1196,关于“原始集”(primitive sets)中1/(a log a)求和是否满足特定界限的猜想。Liam Price输入问题后,GPT-5.4 Pro花了大约80分钟生成输出,虽然粗糙,但包含了人类专家此前未尝试过的思...

发布时间:2026-06-25

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

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

发布时间:2026-06-25

23岁无高数训练的业余者,用ChatGPT一键解决60年Erdős难题,这对普通数学爱好者意味着什么

最近数学圈流传一个消息:一个23岁的年轻人Liam Price,没有任何高等数学训练,仅凭ChatGPT Pro订阅,就让AI解决了一个困扰数学界60年的Erdős问题。这不是科幻,而是真实发生在Erdős Problems网站上的事件。Price随意把问题1196扔给GPT-5.4 Pro,一个提示后,AI思考了大约80分钟,给出了一个看似可行的证明思路。陶哲轩等顶尖数学家看过后,认为这个思路确...

发布时间:2026-06-25

没有数学博士也能参与Erdős问题解决的AI时代

最近,一则数学圈的消息在Hacker News和Scientific American上引发热议。23岁的Liam Price没有接受过高级数学训练,却在一个普通的周一下午,通过向GPT-5.4 Pro输入一个提示,获得了Erdős问题1196的正确证明。这个问题关于primitive sets(原始集)的自然密度猜想,由Erdős、Sárközy和Szemerédi在1960年代提出,已困扰数学...

发布时间:2026-06-25

业余爱好者用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-06-25

23岁业余爱好者用ChatGPT解决60年Erdős原始集猜想,AI如何打破数论“思维壁垒”

最近数论圈子里流传着一个有点意外的故事。一个23岁的年轻人Liam Price,没有接受过高等数学专业训练,却靠着一个ChatGPT Pro订阅,在普通下午的“vibe mathing”中,让AI给出了一份对Erdős问题1196的证明。专家包括Terence Tao和Jared Lichtman验证后确认有效,这件事迅速登上Hacker News和Scientific American等平台。 ...

发布时间:2026-06-25