当人工智能能解数学题时，成为数学家意味着什么

这篇文章反思了在人工智能时代数学工作性质的变化。作者曾是一名应用数学博士生，回忆起自己曾经的挣扎，如今他理解了通往理解的漫长旅程的价值，这是纯粹数学家们所珍视的感受。近期人工智能的成就，如谷歌DeepMind的Aletheia产出了可发表的研究，以及OpenAI的系统推翻了几何组合学中的一个猜想，表明人工智能可以处理那些曾被认为是人类独有的任务。像Isabelle、Lean和Rocq这样的证明助手，结合大语言模型，正在使形式化自动化。在海德堡桂冠论坛上，讨论聚焦于人工智能取代数学家的可能性，一些人如杨一鸿设想人类成为‘神谕的祭司’，而其他人，包括菲尔兹奖得主阿克沙伊·文卡特什和迈亚·弗雷泽，则强调理解的人文价值和集体智慧的美丽。陶哲轩倡导人类与人工智能协作的方法。