来自多伦多大学的数学教授丹尼尔·利特作了主题为《数学的终结》的演讲，其中指出：「未来可能降临一个既缺乏高品质数学研究、又失去人类数学专业积累的时代。」
数学家重新定位学术道路：从探索答案到验证答案
刚于纽约大学阿布扎比校区结束博士后工作的数学研究者里希凯什·加贾拉近日宣布离开数学研究领域。他通过社交媒体平台分享了自己的想法：「数学之于我，其价值并非源于最终的结论，而源于答案诞生前那些长达数月乃至数年的探寻过程——那些走投无路的尝试，那些困顿而又坚持不懈的追求，直至某个隐匿的真理慢慢浮现。」
▲数学家里希凯什·加贾拉在近期宣布退出数学界
但人工智能的出现改变了这一切。加贾拉进一步阐述：「我们正在步入这样一个时代——只消输入一句AI指令，就足以生成大多数问题的解答。当我真心接纳这一现实后，我也就不再像往昔一般，把人生的主要精力投掷在答案的追寻上。」
在他看来，当下的关键难题已转变为对AI答案的有效验证。他重申：「唯有系统的输出足够可信，才能称得上有用。正因如此，我选择了离开学术数学的道路，将精力从寻求答案转向开发用于答案检验的技术体系。」
现已加盟Pramaana Labs，一家致力于提升AI系统可靠性与可验证性的企业。该公司曾于今年六月向外界披露其获得融资规模达2700万美元的种子轮融资。其主要任务瞄准一个现实而紧迫的问题：大型语言模型常在税收、法务、金融、医学等风险敏感领域出现「答案看似合理却难以证实正确」的困境。
人工智能数学能力日新月异：有望四年后与数学家共享最高荣誉
自年初迄今，人工智能在数学研究领域的成就日新月异。从数值计算的辅助、学术文献的梳理，再到证明过程的参与和数学结构的构造，AI已逐步渗透进数学探索的核心工作。
五月间，OpenAI发布消息称其算法在埃尔德什提出的经典几何难题——「平面单位距离问题」上取得进展，创制了一套前所未有的点集构造思路，在维持规模不变的前提下增加了单位距离对的数量，这被业界视为对于既有几何经验法则的一次冲破。
与此同时，一名年方23、未曾受过专业数学教育的英国业余数学爱好者利亚姆·普莱斯借助ChatGPT的协助，成功破译了困扰国际顶尖数学学者整整六十年的埃尔德什第1196号难题。
八月，OpenAI对外发布了最新一代AI系统Astra在数学与理论计算机科学领域的十个重大进展，范围涵盖几何、密码体制、算法复杂度、编码纠错以及量子策略博弈等多条研究路线。这些课题中，不乏困扰学界数十年乃至百余年的顽疾，Astra在提出新式证明或反面示例的同时，还将这些发现转化为能由Lean 4编程语言自动验证的形式化证明。
▲OpenAI官方近日宣布，在最新的内部测试中，Astra在数学与理论计算机科学领域取得了重大突破（图据视觉中国）
OpenAI特别指出，这一工作的本质远非让系统生成貌似正确的结论，而是要求它产出可被形式语言校验的严格证明；然而，这类发现依然有待学术共同体的进一步独立鉴定。
OpenAI旗下的数学研究者塞巴斯蒂安·布贝克表示，AI独立完成与伟大数学家相抗衡乃至超越的学术贡献并非遥远梦想，而是迟早会发生的事。他畅想到了2030年这一时间节点，或许AI与人类数学家将能联合问鼎数学领域最高荣誉——菲尔兹奖。
