业余数学爱好者如何借助AI进入顶级数学研究

目前看来，适度控制在合理区间，同时保证信息密度，更容易获得较好表现。

主流报道聚焦“amateur armed with ChatGPT”的戏剧性，Scientific American等媒体突出业余者逆袭，Lichtman甚至称其接近Erdős“上帝之书”中最优雅的证明。陶哲轩也迅速将思路扩展为更广理论雏形。网友热议AI民主化数学，门槛大幅降低。但这些表面叙事往往忽略了关键：AI原始输出被专家直言“quite poor”，真正价值在于专家如何从中淘金式地提取意图。

这件事的表面冲击力很强。主流报道和网友讨论大多聚焦于“AI取代专业数学家”或“门外汉轻松破难题”的戏剧性，强调模型的推理速度和跳出常规框架的能力。确实，Price本人坦言他没有做任何前期文献准备，只是抱着试试看的心态进行了这次“vibe math”式的直觉提问。专家Jared Duker Lichtman等后续参与精炼了输出，确认了证明的新颖性。但这些热闹背后，真正值得注意的并非AI单枪匹马的完美，而是它如何暴露了人类思维的路径依赖。

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

原始集的概念听起来抽象，却与素数集高度相似，后者是最典型的例子。Erdős早在1935年就证明了任何原始集的“Erdős和”∑ 1/(a log a)存在上界，大致在1.6左右。问题1196则是这个猜想的渐近加强版：当集合中的元素都大于某个x并趋向无穷时，该和是否能被1+o(1)控制。人类顶尖专家如Jared Lichtman曾在相关原始版本上取得突破，却在这个渐近形式上卡了七年，即便与Fields Medal级别合作者联手也未能突破。

短期内，Erdős problems网站已更新问题状态，Lean形式化验证也在推进，数论社区将快速跟进相关聚类问题。长期来看，如果更多研究者系统化采用人机协作的“vibe mathing”实验，组合数学和数论猜想领域可能迎来方法论层面的系统创新。当然，raw output仍需专家提炼，这一点目前行业内仍有不同声音，值得持续跟踪，现在下结论为时尚早。

Erdős问题1196关注原始集（primitive sets）中整数的Erdős和行为，即对于只包含足够大整数的集合，∑ 1/(a log a) 的渐近上界。之前Lichtman等人已给出较弱版本的上界约1.399+o(1)，但精确控制一直悬而未决。Liam Price对这些背景几乎一无所知，他只是随意把开放问题扔给模型测试，没想到模型意外应用了von Mangoldt函数结合下行可除性Markov链的方法，避开了人类常见的分析路径。

对普通人而言，自学数学的门槛正在实质性降低。以前需要系统专业训练才能触及的前沿开放问题，现在通过合理提示就能初步探索，Erdős问题网站可能很快迎来更多AI辅助尝试潮。但也要警惕过度依赖的风险，如果只满足于模型给出答案而忽略背后的逻辑，很容易停留在浅层理解。长期来看，数学教育或许会逐步转向提示工程与人类验证的混合模式，这一转变的具体形态目前行业内仍有不同声音。

原始集的概念在数论中具有基础泛化意义：一个正整数集合被称为原始集，如果其中任意两个不同元素都不互为倍数，即没有一个整除另一个。这本质上是整数可除性偏序下的反链，素数集合是最经典的例子。Erdős早在1935年就证明了任何原始集的Erdős和∑1/(a log a)都有统一上界，而问题1196是其渐近版本，关注当集合元素足够大时，尾部求和∑_{a∈A, a>x} 1/(a log a)是否满足≤1 + O(1/log x)。

对比以往数学研究路径，人类专家倾向于将问题转移到实数域并大量使用分析工具，而AI生成的论证保留在算术领域，利用von Mangoldt函数等工具实现反直觉的处理。这一差异凸显了AI在突破习惯性思维上的潜力，但也暴露其边界——输出质量不稳定，严谨性仍需大量人工干预。目前erdosproblems.com已将问题1196标记为解决，归功于GPT-5.4 Pro在Price提示下的贡献，并附上专家后续讨论。

与AlphaGo的著名“神之一手”Move 37类似，AI在这里并非在人类既有招式上优化，而是开辟了全新路径，彻底改变了围棋理解框架。这次Erdős问题1196的证明同样如此：它不是更快地执行传统套路，而是揭示了整数结构与更广理论之间此前未被明确建立的联系。短期内，数学家们已开始讨论如何系统应用类似方法筛查其他遗留问题；长期来看，如果这种“发现盲区”的能力持续，它可能推动数学研究从人类主导转向人机共创模式。

当你开始更多地用数据而非主观感觉来驱动每一次决策和调整时，“正规二元一分跑的快群”_正规二元一分跑的快群泰安论坛的整体进展和效果就会变得更加稳健和可控。