8月初，顶尖数学家齐聚旧金山OpenAI的办公室，探讨一个关乎生存的问题：如果人工智能很快将人类数学专家全部甩在身后，那么人类数学专家还能做什么呢？

　　多伦多大学数学教授丹尼尔·利特在题为“数学的终结”的演讲中说：“我认为我们最终可能会进入一个没有高质量数学研究、人类数学专业知识完全丧失的世界。”

　　数学家宣布退出数学学术界：不再寻求答案，转而验证答案

　　在纽约大学阿布扎比分校完成博士后研究的数学家里希凯什·加贾拉近期宣布退出数学界。他在社交媒体上写道：“对我而言，数学的意义从来不在于答案本身，而在于答案出现之前数月甚至数年的探索：那些死胡同，那些漫长而艰辛的寻找，直到隐藏的结构最终显露出来。”

▲数学家里希凯什·加贾拉在近期宣布退出数学界

　　AI让一切都改变了。加贾拉写道：“我们正迅速迈向一个只需一个AI提示词就能获得大部分答案的世界。一旦我真正接受了这种可能性，我便不再像以前那样，将生命的大部分时间投入到寻找这些答案上。”

　　他认为，如今验证AI的答案是否正确才是一个核心的智力瓶颈。他强调：“只有当智能的输出结果可信时，它才有用。因此，我决定离开数学学术界，将注意力从发现答案转移到构建能够验证答案的系统上。”

　　加贾拉宣布加入专注于AI可靠性和可验证性的公司Pramaana Labs。该公司于2026年6月宣布获得2700万美元种子轮融资。该公司核心目标是解决大模型在税务、法律、金融、医疗等高风险领域容易“答得像真的、却无法证明正确”的问题。