【新智元导读】尽管许多人并不愿意承认,但是很可能,AI会在十年内赶超人类数学家。
前几天,一篇加州理工和MIT研究者用ChatGPT证明数学定理的论文爆火,在数学圈引发了极大关注。
英伟达首席科学家Jim Fan激动转发,称AI数学Copilot已经到来,下一个发现新定理的,就是全自动AI数学家了!
纽约时报近日也发文,称数学家们做好准备,AI将在十年内赶上甚至超过最优秀的人类数学家。
AI也来颠覆数学界了!
如今,数学家们不得不正视一股最新的革命性力量——AI。
2019年,谷歌前雇员、现任湾区初创公司员工的计算机科学家Christian Szegedy预测,计算机系统将在十年内赶上或超过最优秀的人类数学家解决问题的能力。而去年,他把目标日期修改为2026年。2018年菲尔兹奖得主、普林斯顿高等研究院的数学家Akshay Venkatesh目前还对使用AI不感兴趣,但他十分热衷于讨论AI相关的话题。
去年的采访中,Venkatesh表示,「我希望我的学生意识到,这个领域会发生非常大的变化。」
而最近他的态度是:「我不反对通过深思熟虑、甚至刻意地使用AI,来辅助人类的理解。但我坚信,对于我们使用它的方式,我们需要保持正念,慎之又慎。」
在今年二月,加州大学洛杉矶分校理论与应用数学研究所,曾举行了一场关于「机器辅助证明」的研讨会。
研讨会的主要组织者,就是2006年的菲尔兹奖得主、在UCLA任职的数学家陶哲轩。
他指出,用AI辅助数学证明,其实是非常值得关注的现象。
直到最近几年,数学家才开始担心AI的潜在威胁,无论是AI对于数学美学的破坏,还是对于数学家本身的威胁。
而杰出的社区成员们,正在把这些问题摆上台面,开始探索如何「打破禁忌」。从欧几里得几何原本到计算机代码
几千年来,数学家已经早已适应了逻辑和推理的最新进展。不过,他们准备好迎接人工智能了吗?
2000多年来,欧几里得的文本一直是数学论证和推理的范式。
卡内基梅隆大学逻辑学家Jeremy Avigad说,欧几里得以近乎诗意的「定义」开始,在此基础上建立了当时的数学——使用基本概念、定义和先前的定理,每个连续的步骤都「清楚地遵循」以前的步骤,以这样一种方式证明事物。