陶哲轩称 AI 正在终结数学的“英雄时代”

数学家陶哲轩表示，人工智能正在重塑数学研究，挑战围绕个人突破和多年艰苦人类努力所构建的传统。

“我们正见证数学浪漫时代的终结，即英雄时代，”陶哲轩在 10 月 15 日发布的 Numberphile 采访中说道。

陶哲轩描述了向更大规模协作的转变，这些协作涉及数学家、AI 系统和计算机辅助验证。熟悉的孤独研究者为难解问题苦苦钻研多年的形象，可能让位于更具工业规模的数学工作。

但他的担忧不仅限于谁获得功劳。随着机器越来越擅长生成证明，他认为，数学必须保护赋予这些结果意义的“人类理解”。不断增长的已解决问题集合并不一定带来更深刻的洞见。

陶哲轩还认为，保留传统数学学习具有价值，让学生在依赖自动化工具之前发展自己的推理能力。他的展望结合了对新可能性的认可，以及对这一转变可能带来的代价的担忧。