AI 数学进展为何令数学家感到不安

OpenAI 近几个月公布数百项数学发现，涉及数论、理论计算机科学与逻辑，其中不少证明曾困扰顶尖数学家数十年甚至数百年。2022 年菲尔兹奖得主 Hugo Duminil-Copin 称其“摧毁了我的研究领域”，康奈尔大学数学家 Steven Strogatz 则表示自己为此落泪。作者认为，数学家哀悼的不只是自尊受损，而是科学作为一场千年对话正被机器打断。