AI 时代的无我数学

向无我数学的转变

人工智能在数学研究中的整合，挑战了数学价值与个人成就挂钩的传统观念。随着 AI 能够执行复杂的推导，数学家们必须重新思考：其工作的价值究竟在于个人的产出行为，还是在于他们所揭示的独立真理。这种转变促使人们转向“无我”数学，即对知识的追求不再是为了获取个人地位或荣誉，而是出于对理解客观秩序的渴望。

发现与发明

数学实践常在两种观点之间争论：一种是发明，即人类创造概念和公理；另一种是发现，即数学家揭示独立于人类思想而存在的真理。发现的视角类似于古生物学家挖掘化石，暗示数学真理具有先验的存在性。当一个定义揭示了意想不到的联系，或者一个猜想被证明时，数学家所面对的是一种他们无法自由决定的现实。这种柏拉图式的观点将人类智能定位为理解独立秩序的渠道，而非数学权威的唯一来源。

重新定义智力价值

如果数学的价值是由出版物、引用次数和个人表现来定义的，那么 AI 的到来自然会引发关于被取代的焦虑。然而，这种焦虑暴露了一个预先存在的问题：将智力生活视为生产性产出的集合。作者认为，应对之道不应是仅仅为了保持竞争优势而退回到“仅限人类”的特质（如创造力或直觉）中。相反，数学家应该转向一种模型，即追求真理本身就是回报，而无论发现者是谁或是什么。

调和 AI 与人类实践

无我数学提供了一个框架，用以调和拥抱 AI 者与抵制 AI 者之间的分歧。无论使用何种工具，两组人都可以共同致力于数学真理。通过专注于理解的乐趣——即概念的清晰度比发现者的身份更重要——数学家们可以找到一种满足感，这种满足感不会因为机器或其他人在先得出结论而减损。这种转变需要谦逊，将追求真理视为一个应该改变寻求者本身，而非仅仅证明寻求者正确的过程。

社区观点与批评

围绕这一观点的讨论呈现两极分化。一些观察者赞赏这种对谦逊的呼吁以及对数学内在美的关注，指出任何宇宙中的智能体都可能做出同样的发现。然而，另一些人则担心这种哲学忽视了学术界的物质现实。批评者认为，“无我”的理想可能是一种方便的干扰，掩盖了研究经费、就业以及年轻数学家失去自主权等结构性问题。在真理的哲学理想与在人类贡献日益受到企业控制的计算资源中介的领域中维持职业生涯的实际必要性之间，存在着一种张力。

“整个论点将严格的柏拉图主义观点视为显而易见的事实……利用这种柏拉图式的立场来要求‘无我’，感觉就像是一种方便的干扰。它将数学专业面临的巨大颠覆变成了一场个人道德说教。” — Commenter on the original post

归根结底，这场对话凸显了一个根本性的张力：虽然追求真理可能是一项永恒的、客观的事业，但数学实践仍然是一种嵌入在社会、经济和制度结构中的人类活动，而这些结构目前正在经历由 AI 驱动的快速转型。