AI解决Erdős问题：业余爱好者用ChatGPT“随意一问”就破局，顶尖数学家如何看待未来？

实用技巧免押金1元1分红中麻将群_伊春论坛如果能提供独特的观察框架和可操作结论，通常能在竞争中脱颖而出。

GPT-5.4 Pro的输出虽粗糙，却引入了von Mangoldt函数的意外应用，将除数链重构为带权马尔可夫链，利用∑_{d|n} Λ(d) = log n这一经典恒等式，避开了人类常见的分析跳跃。这一方法并非传统路径，却提供了更自然的算术连接。

最近，一则关于Erdős问题1196的突破在数学社区迅速传播开来。23岁的Liam Price没有高等数学训练背景，却在一个闲散下午通过一次ChatGPT Pro提示，在大约80分钟内获得了该问题的完整证明路径。该问题围绕“原始集”展开，即一组正整数集合，其中任意两个不同元素互不整除，自1966年Erdős、Sárközy和Szemerédi提出相关猜想以来，已困扰数学家60年。

Price的突破让Terence Tao等学者开始重新评估AI在数论和组合领域中的潜力，尤其是在erdosproblems.com上那些陈述清晰、计算可验证的问题上。

vibe math的兴起也让数学社区开始反思传统证明的局限性。过去60年里，专家们在原始集猜想上投入了大量精力，却因习惯性分析框架而错过某些反直觉的工具应用。AI没有这些预设，它捕捉到的“氛围”连接有时显得意外自然。这是否意味着部分Erdős问题集群本身就存在一种统一的直觉底层？数据支持这个方向，但样本量还有限，值得持续观察后续是否有更多孤例转为趋势。

岁业余爱好者Liam Price没有高等数学训练，却在一个普通下午用ChatGPT（GPT-5.4 Pro）一个Prompt，输出了Erdős问题1196的证明。专家包括Terence Tao和Jared Lichtman验证后确认有效，这件事迅速在Hacker News和Scientific American等平台传播。表面上它像又一个“AI快速解题”的故事，但核心在于AI绕过了人类长期依赖的路径，带来了一种全新方法论。

这个问题源于1966年Erdős、Sárközy和Szemerédi的猜想，关注原始集（即集合中任意两不同元素互不整除的整数集）的渐近求和界限：对于任何原始集A，其大于x的元素a满足∑ 1/(a log a) ≤ 1 + O(1/log x)。

这一点目前行业内仍有不同声音。AI无先入为主的审美和路径依赖，让它能重新审视老工具的潜力，而人类研究者常因“这个方向以前试过没用”的集体记忆而回避。Lichtman本人后来评论称，这或许是AI首次为Erdős问题贡献接近“Book Proof”的结果，但专家精炼后证明变得更简洁，也提醒我们输出仍需严格验证。

Jared Lichtman在评论中提到，自己七年来的工作与这个新证明隐隐呼应了某些统一主题。原始输出虽显啰嗦，但经专家精炼后，核心洞见清晰起来，并通过Lean形式化验证。目前erdosproblems.com已将该问题标记为由GPT-5.4 Pro（在Liam Price提示下）解决。这不仅仅是一个孤立突破，还暗示AI可能在整数结构研究中提供更广的连接点。

岁业余爱好者Liam Price没有高等数学训练，却在一个普通下午用ChatGPT（GPT-5.4 Pro）一个Prompt，输出了Erdős问题1196的证明草稿。专家包括Terence Tao和Jared Lichtman验证后确认核心思路有效，这件事迅速在Hacker News和Scientific American等平台传播开来。Erdős problems网站已将该问题标记为已解决，并启动Lean形式化验证。

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

玩法新变化的兴起，让整个生态进入新阶段。