一页纸，胜过44页 1991年，《数学年刊》刊登了一篇44页的论文，作者是组合数学家József Beck。他解决了埃尔德什问题库中编号119的第二问：在单位圆上任取n个复数作为零点构造多项式，其在单位圆上的最大模Mₙ，是否能在无穷多个n处超过n的某个正幂次？Beck给出了肯定答案，证明存在c＞0，使得max_n≤N Mₙ ＞ N^c。这篇工作成为差异理论与调和分析交叉领域的重要基石。 第三问，被一页纸终结 埃尔德什在同一问题中还提出了第三问，并自掏100美元悬赏。它要求更强的下界——不仅存在无穷多n满足增长，而且要对所有足够大的n成立某种一致型估计。这个问题沉寂35年，无人突破。直到2024年，GPT-5.6 Sol在数学家Korsky的提示下，仅用一页纸完成证明。核心技巧极为简洁：对一个非负函数做卷积后平移1单位，使原本棘手的不规则性自然消解；再将算子范数嵌入对偶范数与内积框架中估算。这不是新工具，而是把分析中最基础的招数，用在了前人从未设想的位置。 不是推翻，而是绕开 Thomas Bloom——erdosproblems.com创建者、埃尔德什问题权威整理者——明确指出：Beck的44页论文包含大量深刻思想，但它们在这道题上并不必要。真正关键的一步，早就在教科书里躺着：卷积平滑+对偶估计。只是人类几十年来始终沿着另一条路径深挖，把问题越解越重。常数c的具体值至今无人计算，Bloom推测它极小，而Beck若发现它有实际意义，绝不会忽略。这说明，所谓“难”，有时只是路径依赖；所谓“突破”，未必是登顶，而是换条近路绕过了山腰的迷雾。 不止一道题，而是一种新节奏 GPT-5.6 Sol Ultra上线次日，便给出Cycle Double Cover猜想的完整证明——这个由Szekeres与Seymour分别于1973年、1979年提出的图论难题，悬置近五十年。模型用不到1小时，在64个并行子智能体协作下完成。Bloom评价它“短、初等、1980年代本可被发现”。类似情形也出现在Erdős 1196问题上：牛津学者Jared Lichtman耗费七年未果，而AI用von Mangoldt函数在80分钟内破题。陶哲轩事后坦言：“过去几十年，人类在第一步就集体走偏了。” 耐心，才是真正的分水岭 人类直觉是高效的筛选器，帮我们跳过海量无效尝试；但它的代价，是可能永久忽略那个反直觉却正确的微小拐弯。AI不疲倦、不预设、不气馁——它会把所有合理变体试到尽头。当人类耸耸肩离开时，AI继续迭代。这不是取代数学家，而是暴露了数学实践中长期被遮蔽的维度：有些“未解”，并非因问题艰深，而只因没人愿意再试第三十次。 争论背后，是定义的重构 围绕GPT-5.6的讨论，表面是能力评测之争，实质是对“难”字的重新丈量。数学史上的“悬而未决”，一部分属于逻辑深度，另一部分属于认知惯性与时间成本。如今，AI开始把这两者剥离开来。当一道题卡住几十年，我们终于能问：它挡住我们的，究竟是真理的高墙，还是我们自己的停步阈值？ 教堂与地基 有人比喻现代数学是一座巨大教堂。人类耗尽一生才能走到穹顶之下；而大模型已能以超常效率抵达前沿。所谓“流动智力”的生长，正悄然发生——ARC-AGI-3基准显示，GPT-5.6 Sol在最高推理档位得分达7.8%，相较今年3月上线时的0.37%跃升逾20倍。进步或许尚未肉眼可见，但地基之上的结构，已在无声拔高。