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
希望能帮你更快找到适合自己的那一款。
实际操作层面,AI辅助内容创作的潜力已超出单纯数学难题。创作者可以针对一个Erdős式冷门话题,让AI生成3-5个不同切入角度的大纲,涵盖历史背景、公式应用与跨领域类比,然后手动补充真实案例、专家引述和读者意义。测试这些内容在搜索中的表现,往往能快速发现哪些角度用户意图更强。许多人已开始尝试,有人用类似方法写AI在科学发现中的角色,流量与互动超出预期;也有人因未充分验证公式解释而踩坑,导致读者质疑。
Scientific American的报道和Hacker News的热议中,很多人将它解读为“AI独立攻克难题”,但实际情况远比表面复杂:AI的原始输出需要Jared Duker Lichtman等专家的精炼和验证,这件事真正揭示的是谁能真正参与顶级数学研究的门槛正在发生悄然变化。
这说明问题驱动学习在AI辅助下远胜传统刷题模式:从一个具体开放问题出发,反复迭代提示,让模型尝试不同连接,比按部就班读教材更能激发新洞见。
Price把结果贴到erdosproblems.com后,迅速引发关注。Kevin Barreto意识到潜力,联系专家验证。陶哲轩等数学家评论指出,人类多年来习惯从分析角度切入,第一步就集体走偏,而AI提供了更自然的算术连接。Lichtman也认可这份证明触及了他直觉中的统一主题,甚至可能对大整数结构研究有更广启发。后来专家精炼了原始输出,并通过Lean形式化验证,问题正式标记为由GPT-5.4 Pro(Liam Price提示)解决。
具体而言,对于任意原始集A,考察大于x的元素a,其加权和∑ 1/(a log a)是否满足上界1 + O(1/log x)。此前Jared Duker Lichtman等研究者已取得较弱上界的进展,但这一精确形式长期悬而未决。
AI并非魔法工具,而是强大却需要把关的数学导师。它的价值在于快速生成跨领域连接,类似历史上望远镜或计算机等意外工具打破僵局。但成功关键始终在于人类的问题拆解能力和验证能力。没有好的问题意识,再强的模型也只是输出待清理的草稿。方向是对的,但这个判断可能需要随更多案例持续修正。
Price的成功让Terence Tao等数学家开始重新评估AI在数论未解问题上的潜力。erdosproblems.com作为追踪这些问题的核心平台,目前收录了上千个条目,其中数论和组合领域有不少陈述清晰、概念基础的问题,适合计算验证或提示工程推进。
不过,哪些问题真正“低难度”而非伪装的陷阱,行业内仍有不同声音,持续观察erdosproblems.com的更新或许最稳妥。
对比Erdős问题本身的众包历史,AI的介入正在加速数学的民主化进程。erdosproblems.com记录了上千开放问题,原本就鼓励全球协作攻克难关。过去陶哲轩等专家已通过对话式提示用AI辅助文献搜索或改进界限,这次Liam Price提供问题框架,模型生成核心思路,年轻研究者识别潜力,最终由领域专家验证完善。人机协作而非单纯取代,成为事件最本质的特征。
Terence Tao观察到,人类此前似乎在第一步就集体走偏,存在某种隐形思维堵塞。AI则跳出框架,用已知工具实现了意想不到的组合。Lichtman也指出,原始输出虽需专家整理,但核心洞见新颖,甚至可能对相关问题簇产生统一作用。这个案例并非AI首次辅助数学,而是它在开放问题中首次展现从“聪明助手”到“发现新路径伙伴”的转变,对数学工具演化而言具有里程碑意义。
排名代发飞机【seo1268】好友聊天,输入“真人一元1分跑的快群”咨询客服,娱乐游戏作为民间很受欢迎的纸牌玩法,乐趣集中在快节奏的刺激感、心理博弈的张力,这两种玩法的规则几乎一学就会,不用记复杂的牌型搭配,就算是新手也能快速上手,梦想是前行的灯塔,哪怕渺小,也能指引方向。不必因梦想遥远就轻言放弃,逐梦的路上,本就布满挑战。拆分目标,步步前行,哪怕每天只前进一小步,也是在靠近理想。不惧旁人的质疑,不畏前路的漫长,坚守初心,全力以赴。只要心中有梦,眼里有光,脚下有路,终能跨越山海,奔赴心之所向的远方。的深层含义,正在被越来越多从业者意识到。
站内内容组主要处理公开资料整合与页面摘要整理,侧重把分散素材整理成清晰内容,常见于站内内容更新流程,让文章页在移动端和 PC 端都保持清晰可读,并根据当期话题做差异化补充。
点赞 425 · 评论 2
固定链接:http://bbb.cn.www.ss7a.cn/images/8091.html
最近,一则数学圈新闻刷屏: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最近,一则数学圈的消息在网上流传开来。23岁的Liam Price没有接受过高等数学专业训练,却用单条GPT-5.4 Pro提示,在大约80分钟内让AI输出了一份解决Erdős问题#1196的论证。这件事很快被陶哲轩等专家注意到,并确认其方法具有新颖性。Erdős问题#1196涉及原始集(primitive sets),即自然数集合中任意两个不同元素互不整除,核心猜想是这类集合中较大元素的倒数和随...
发布时间:2026-07-01最近,一则关于AI在数学领域的消息在Hacker News上迅速获得高分讨论。23岁的Liam Price没有接受过高级数学训练,却用ChatGPT Pro的一个提示,引导GPT-5.4 Pro解决了保罗·埃尔德什(Paul Erdős)遗留的第1196号问题。这个问题涉及“原始集”(primitive sets),即整数集合中任意两个不同元素互不整除,类似于素数的推广。猜想的核心是,对于足够大的...
发布时间:2026-07-01最近数学圈流传一个故事:一个23岁的业余爱好者,只用一条提示词,就让ChatGPT的最新模型帮他“解决”了保罗·Erdős留下的一个60年老难题。事件迅速登上Scientific American,标题里突出“amateur armed with ChatGPT”,网友热议AI终于要民主化数学了。可仔细看下去,这件事远没有表面那么简单。 Erdős问题1196是关于“原始集”(primitive...
发布时间:2026-07-01最近数学圈流传一个消息:一个23岁的年轻人Liam Price,没有任何高等数学训练,仅凭ChatGPT Pro订阅,就让AI解决了一个困扰数学界60年的Erdős问题。这不是科幻,而是真实发生在Erdős Problems网站上的事件。Price随意把问题1196扔给GPT-5.4 Pro,一个提示后,AI思考了大约80分钟,给出了一个看似可行的证明思路。陶哲轩等顶尖数学家看过后,认为这个思路确...
发布时间:2026-07-01最近,一则数学圈的消息在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-07-01