AI时代的无我数学
内容提要
文章主张以“无我数学”的视角看待AI：数学真理独立于个人，其价值不因发现者身份而改变。作者认为，将数学价值等同于个人成果与能力，正是对AI取代人类产生焦虑的根源；人应以求真塑造工作与生活，以谦卑和分享理解之喜悦面对AI，而非执着于自身重要性。
延伸解读
焦虑的根源不在AI，而在我们如何定义数学工作的价值
文章指出，对AI取代数学家的焦虑，源于我们已经把数学的价值等同于个人成果与能力。当数学被看作生产定理、展示才华的竞赛，机器更高效地完成这些任务，自然显得威胁人的价值。但作者提醒，这种自我理解在AI到来之前就已形成，AI只是暴露了后果。真正需要反思的是：我们是否过早地将智识生活简化为可量化的产出。
数学真理独立于发现者，但发现仍需创造力
作者以古生物学家寻找化石作类比：化石早已存在，但找到它需要决定挖掘地点、发展技术并识别残缺遗骸的意义。数学发现同样如此——真理不依赖我们的承认，但揭示它可能需要发明全新的语言和框架。文章强调，构造可能令人惊讶，定义可能引出意外联系，这正说明我们遇到的是不由我们任意决定的东西。因此，创造力并不使真理成为个人创造。
无我数学不是否定个人，而是重新安放重要性
文章澄清，无我数学并非要求人放弃个性或创造力，而是不再以“是否比机器更强”来证明自身价值。谦卑在这里不只是谦虚或分享功劳，而是追问：我们追求真理，是为了服务既有目的，还是允许发现改变目的本身？如果要求发现必须维护自己的重要性，就已经把真理置于自我之下。作者认为，这种重新排序虽难，却能让理解之乐不再依赖相对排名。
在AI使用分歧中，无我数学提供更高层面的共识
数学界对AI有不同态度：有人愿意使用但希望建立规范，有人则完全不想使用。文章认为两种立场各有道理，而无我数学提供了一个更高考虑——无论选择哪条路径，都可以出于对数学真理的同一承诺。作者并不试图解决具体政策问题，而是主张先形成一种更高视角，用来指导讨论和行动。这样，AI在数学中的进展就不必被解读为对个人重要性的判决。
Q&A
为什么AI在数学上的进步会让人感到焦虑？
因为很多人把数学的价值等同于个人成果与能力，当AI能更好地完成这些任务时，就仿佛威胁到了个人的价值。这种焦虑的根源在于我们已经用适合机器的标准来理解自己。
什么是“无我数学”？
无我数学是一种视角：数学真理独立于个人，其价值不因发现者身份而改变。它主张以谦卑和分享理解之喜悦面对AI，而不是执着于自身的重要性。
数学真理是发明还是发现的？
文章倾向于发现观：数学真理独立于我们的构造而存在，我们的定义和框架只是帮助认识那些不依赖于我们的关系。尽管发现需要创造力，但真理本身不是个人的创造。
为什么说AI暴露了数学界早已存在的问题？
因为我们已经用出版物、引用、奖项等指标来衡量智力生活，把数学家视为生产能力的集合，数学视为其产出。这种观念在AI到来之前就已存在，AI只是让其后果显现出来。
无我数学如何帮助调和数学界对AI的不同态度？
它引入更高的考量：无论是否使用AI，两种立场都可以体现对数学真理的共同承诺。这样就不必在政策上争出高下，而是从更高视角引导讨论和行动。
文章认为数学的乐趣应该来自哪里？
来自理解本身：某个原本晦涩的东西变得清晰，我们认识到一种美，这种美不会因为别人先发现而减损。这种喜悦可以分享而不剥夺他人，不同于依赖相对地位的短暂满足。
