
人工智能正在重塑数学领域,这一变革对顶尖数学家而言,既具实用价值,也触及精神内核。
加州大学洛杉矶分校(UCLA)著名教授陶哲轩近日在接受采访时指出,随着AI工具能通过简单提示解决数百个问题,数学研究的“浪漫时代”已然终结。
陶哲轩表示,如今即使是顶尖学者,也不得不将大量精力投入梳理海量的AI生成证明,而非亲自从事那些曾被视为“英雄式”的解题工作。他形容当前正迈向一个“工业化时代”,数学研究将更具规模,“这是一个充满新可能的时代,但也伴随着某些事物的流失”。
AI破题引发学界震荡
今年9月初,OpenAI通过求解千年难题纳维-斯托克斯方程(Navier-Stokes equation)强势进军该领域。AI破解难题的消息引发了数学界的震惊与焦虑。部分数学家不满地指出,尽管AI模型解决了问题,却未展示推导过程,留给人类的是更为繁琐且缺乏庆祝氛围的验证工作。
随后,OpenAI宣布又攻克了另外700个杰出(Outstanding)问题。纽约大学一位数学教授向媒体表示,这一发布导致早期职业数学家的研究工作被迫中断。特里斯坦·巴克马斯特(Tristan Buckmaster)教授称:“他们的突然发布,在周二就抹除了一整项研究计划。”
代际冲突与未来焦虑
9月的另一起争议中,OpenAI退出了对所谓AI“数学马拉松”活动的赞助。该活动由加州理工学院本科生组织,鼓励参与者使用AI解方程。此举是在一批资深学者投诉后做出的决定。
活动组织者当时向媒体表示,教授们严重脱离了领域发展轨迹。组织者Caiman Moreno-Earle坦言:“我们看向未来,甚至不确定等到拿到博士学位时,是否还有研究生院的职位空缺。”
尽管OpenAI声称已采取措施确保人类学者在新时代中保持角色,但一些研究人员已预言了可能面临的淘汰命运。陶哲轩虽未像部分同行那样悲观,但他指出,数学家自我讲述的故事在未来可能不再具有同等意义。他引用安德鲁·怀尔斯爵士(Sir Andrew Wiles)曾在阁楼独自隔离七年求解复杂方程的例子说道:“那个‘英雄时代’带有一种浪漫色彩,但这种神话般的叙事正在发生变化。”