AI推翻80年数学猜想：为什么没有心理包袱才是它最强的武器

1946年，匈牙利数学家保罗·埃尔德什（Paul Erdös）提出了一个看似简单的问题：在一张纸上画出若干个点，有多少对点之间的距离恰好等于1个单位？他猜测，网格排列已经是最优解——不会有其他排列方式能好太多。80年来，数学家们前赴后继，试图证明这个猜想，却从未想过直接推翻它。

直到OpenAI出手。

反直觉的突破口

OpenAI的研究团队没有让AI去"证明"猜想，而是让它去"探索"所有可能性。结果AI发现：存在一种排列方式，比埃尔德什预测的"上界"更优——换句话说，猜想本身就是错的。

这个结论为什么重要？因为它揭示了人类数学家的"心理包袱"：大多数人默认埃尔德什的猜想是正确的，所以一直在寻找证明路径，从未想过它可能是错的。而AI没有这种预设，它会尝试大量看似荒谬的方向——正是在这些"荒谬"中，找到了真正的答案。

为什么这不只是个数学游戏

这件事的真正意义，远超"AI攻克数学难题"本身。它暗示了一种全新的科研范式：

• AI不"理解"问题，所以不"迷信"权威。当人类数学家把某条路默认为"正道"时，AI却在所有方向上平等搜索。
• 它能发现"反直觉"的解，是因为它不受直觉束缚。直觉是经验的结晶，但也往往是认知的盲区。
• 这可能预示着AI辅助科学发现的主流路径：不只是加速计算，而是提供真正的新视角。

一个值得警惕的信号

当然，AI的推理能力边界仍在探索中。这次成功，是模型能力的体现，还是特定任务的巧合？目前尚无定论。但可以确定的是：AI在数学推理上的进展，正在加速从"工具"向"合作者"的角色转变。

对于科研工作者而言，与其担忧被取代，不如思考一个更务实的问题：如何让AI的"无心理包袱"与人类的"经验直觉"协同工作——这或许才是未来十年最值得投资的组合。