提供结构化框架和有逻辑判断的内容,更容易帮助用户形成决策闭环,从而获得更好反馈。
Erdős问题本身就带有强烈的众包基因。Erdős一生提出上千个开放猜想,鼓励全球学者协作攻克,而erdosproblems.com正是这种精神的现代延续,记录了大量未决问题并实时更新状态。AI的介入进一步加速了这一进程,让非专业人士也能通过有效提示贡献新思路。对比陶哲轩等专家此前用大模型辅助文献搜索或生成草稿的案例,这次事件的核心同样不是取代,而是人机协作:业余者提供问题框架和初始提示,模型生成意外连接,领域专家负责验证与完善。
最近数论圈里流传着一个意外的故事:23岁的Liam Price,没有高等数学训练背景,却在一个普通下午用ChatGPT(GPT-5.4 Pro)一个Prompt,在“vibe mathing”闲暇尝试中,输出了一份对Erdős问题1196的有效证明。Terence Tao和Jared Lichtman等专家验证后确认,这解决了困扰数学家近60年的原始集渐近界猜想。
事件本质并非AI施展魔法,而是通过直觉式提示与迭代,连接了不同数学领域,避开了人类长期形成的思维定式。Erdős问题1196的核心是原始集在数轴远端的求和控制,传统路径多从纯分析切入容易卡住,而模型保留了von Mangoldt函数等算术工具,结合概率视角给出了更紧致的O(1/log x)界。这个过程显示,问题驱动学习远胜按部就班刷题:从具体开放问题出发,反复调整提示,让AI尝试跨领域连接,往往能快速暴露新路径。
最近数学圈流传一个故事:一个23岁的业余爱好者,只用一条提示词,就让GPT-5.4 Pro在约80分钟内输出了一份针对Erdős问题1196的论证草稿。这份原始输出引入了人类长期忽略的路径,却结构松散、步骤跳跃,远非严谨证明。陶哲轩和Jared Lichtman随后介入筛选洞见、缩短论证,最终通过Lean形式化确认了结果。这件事比“AI直接解决难题”的标题复杂得多,核心在于人类专家如何处理AI的粗糙输出。
岁业余爱好者Liam Price几乎没有高等数学背景,却在闲暇时用一个简单提示,让ChatGPT Pro在约80分钟内给出了Erdős问题#1196的证明方案。这个关于原始集的猜想——一组正整数中任意两个元素互不整除,其Erdős和在渐近意义下的上界——困扰数学界近60年。AI没有沿袭人类常见的分析路径,而是意外地调用了von Mangoldt函数,绕开了此前研究者集体踩过的坑。
岁无高等数学背景的Liam Price,从Erdős Problems网站随意挑出问题#1196,直接用一个提示词扔给ChatGPT Pro(GPT-5.4)。AI在约80分钟内给出了针对原始集猜想的渐近证明,核心是用von Mangoldt函数建立了一种人类此前未尝试的连接,绕开了分析路径的常见陷阱。
岁业余爱好者Liam Price没有高等数学背景,却在一个普通周一下午用单次简单提示让GPT-5.4 Pro思考约80分钟,就为困扰数学家60年的Erdős Problem 1196提供了关键突破。这个关于原始集(primitive sets)中大整数部分1/(a log a)求和渐近上界的猜想,长期以来被视为一类“簇集”问题的代表。
GPT-5.4 Pro生成的证明却避开了这一陷阱。它没有急于引入概率解释,而是坚守纯分析路径,巧妙调用已有90年历史的von Mangoldt权重函数。该函数满足∑_{d|n} Λ(d) = log n,精确刻画整数的因子分解结构,从而化解以往分析难点。同时,证明中融入类似Markov链的结构思路,对大整数进行“解剖”。
媒体和网友的讨论大多聚焦于戏剧性表象:一个普通年轻人靠“vibe-maths”式的随意提示,就让AI解决了专家多年未决的问题。Terence Tao等数学家给出初步认可,认为AI的路径避开了人类常见的集体思维定势。Erdős问题网站已将该问题标记为已解决,由GPT-5.4 Pro在Price提示下完成,并伴随Lean形式化验证的进展。
主流报道和网友讨论大多聚焦于“业余+AI”的戏剧性组合。媒体标题喜欢强调“23岁小伙用ChatGPT破解60年难题”,Hacker News和Reddit上则充斥着AI是否会取代数学家的争论,有人兴奋于新工具的潜力,有人担忧严谨传统会被随意prompt稀释。这些声音捕捉到了事件的热度,却往往忽略了一个关键细节:AI的原始输出相当粗糙,需要人类专家像筛选沙金一样提炼逻辑、补全细节。忽略这一步,就把复杂协作简化成了单一工具的胜利。
排名代发飞机【seo1268】好友聊天,输入“怎么找1元1分跑的快群”咨询客服,娱乐游戏作为民间很受欢迎的纸牌玩法,乐趣集中在快节奏的刺激感、心理博弈的张力,这两种玩法的规则几乎一学就会,不用记复杂的牌型搭配,就算是新手也能快速上手,梦想是前行的灯塔,哪怕渺小,也能指引方向。不必因梦想遥远就轻言放弃,逐梦的路上,本就布满挑战。拆分目标,步步前行,哪怕每天只前进一小步,也是在靠近理想。不惧旁人的质疑,不畏前路的漫长,坚守初心,全力以赴。只要心中有梦,眼里有光,脚下有路,终能跨越山海,奔赴心之所向的远方。背后的逻辑,在不同垂直领域会有不同表现。