AI成为数学家得力助手还要多久
几百年来，数学家使用的工具依然简朴：一张纸、一支笔。他们凭借逻辑与灵感，在符号的迷宫中寻找通往真理的路径。
为了打破这一局面，美国国防高级研究计划局今年4月启动了“指数性数学”计划，旨在开发一种能极大提升数学研究效率的人工智能（AI）“合著者”系统。
几十年来，数学家借助计算机进行辅助计算或验证命题，如今的AI或许能更上层楼，挑战那些人类长年未解的难题。不过，从能解高中题的AI，到能协助攻克前沿数学难关的AI，中间仍隔着一道鸿沟。
图片来源：物理学家组织网
解决重大难题仍力不从心
大型语言模型（LLM）并不擅长数学。它们常常出现“幻觉”，甚至可能被误导相信2+2=5。但新一代大型推理模型，如OpenAI的o3、Anthropic的Claude 4 Thinking等，展现出的进步令数学家眼前一亮。
今年，这些模型在美国数学邀请赛中的表现接近优秀高中生水平。不同于过去“一锤定音”式的输出，这些模型开始尝试模拟数学家逐步推理的思考过程。
同时，一些将LLM与某种事实核查系统相结合的新型混合模型也取得了突破。例如，谷歌“深度思维”的AlphaProof系统将语言模型与棋类AI——AlphaZero结合，成为首个取得与国际数学奥林匹克竞赛银牌得主成绩相当的系统。今年5月，谷歌的AlphaEvolve模型更进一步，在多个长期未解的数学与计算难题上找到优于人类现有方案的解法。
美国《麻省理工科技评论》指出，尽管这些AI成绩亮眼，但专家们普遍认为，它们仍不具备真正的协助科研的能力。竞赛题虽难，却更像是智力游戏，有一定“套路”。真正的数学研究则更开放、更复杂。面对“P vs NP”“黎曼猜想”等重大难题时，AI仍力不从心。
为了更准确地评估AI的能力，初创公司Epoch AI去年推出了FrontierMath测试，联合60多位数学家设计出全新高难度题目，避开模型已见过的训练数据，结果LLM几乎集体“交白卷”。
这些测试表明，AI在数学道路上虽已迈步，但离“合著者”角色仍有很长一段路要走。
需攻克“超长推理链”
仔细观察数学问题会发现，它们在某些方面类似：解决问题需完成一系列连续步骤，关键在于找到这些步骤。
美国加州理工学院谢尔盖·古科夫指出，困难的差异往往体现在路径的长度上。高中数学可能只需10到40步，而像黎曼猜想这样的难题，路径可能长达百万步。
这类“超长路径”极难处理。就像下围棋时寻找一条制胜序列，AI必须在指数级增长的可能路径中找到正确解法。而在数学中，这个复杂度要远超棋类游戏。
据物理学家组织网今年2月报道，为应对这一挑战，古科夫团队开发了一种方法，将多个步骤打包成“超级步骤”，相当于穿上“巨人靴”跨越大段路程。他们设计了一个系统，其中强化学习模型负责提出超级步骤，另一个模型负责验证其合理性。
该策略在经典未解难题——安德鲁斯-柯蒂斯猜想上取得了突破。虽然尚未证明或推翻该猜想，但借助AI，科学家推翻了一个40年来被广泛引用的“反例”。这曾被视为证明该猜想错误的关键依据。
牛津大学数学家马丁·布里森对此表示肯定：“排除错误路径，是科研中非常有价值的一步。”
古科夫相信，这种“压缩路径”的思路适用于所有需要推理链条的领域。他希望，这种方法不仅能推动AI跳出固有模式，也为数学研究带来新突破。
真正的创新和突破仍属人类
跳出思维定式，正是数学家攻克难题的关键。数学常被看作机械推理，而高等数学则更像是一场实验，充满一波三折的试错与灵光乍现的顿悟。
这正是AlphaEvolve等AI工具的优势所在。它通过LLM不断生成并改进解题代码，配合第二个模型评估每一轮结果，最终提出比人类更优的解法。这种方法不仅能独立探索，也支持人类随时介入，提供灵感和指令。
澳大利亚悉尼大学数学家乔迪·威廉姆森强调，探索性思维是数学的核心。据英国《新科学家》网站报道，他与Meta合作开发了PatternBoost AI系统，可根据一个数学想法生成相似概念，帮助激发灵感。他说：“这就像是这里有一堆有趣的东西，我不知道是怎么回事，但你能再生成一些类似的东西吗？”
这种头脑风暴在数学中至关重要，它是新想法产生的源泉。以二十面体为例——古希腊人通过纯粹推理发现了它，其形状并不存在于自然界中，却深刻影响了数学的发展。威廉姆森希望，AI未来也能协助发现类似的“新数学对象”。
不过，目前AI仍缺乏真正的创造力。让AI赢棋是一回事，让它发明围棋游戏则是另一回事。像AlphaEvolve和PatternBoost这样的工具或许能作为人类直觉的“侦察兵”，帮助人们发现路径、避开死路，但专家普遍认为，真正的创新与突破，仍然属于人类。
标签：
抢先读
- AI成为数学家得力助手还要多久
- AI成为数学家得力助手还要多久
- 国产航空明星产品齐聚巴黎航展
- 从“能用”到“好用”：AI激活医疗创新动能
- 腻子怎么刮又快又平？刮腻子一般几天能干？
- AI成为数学家得力助手还要多久
- 从“能用”到“好用”：AI激活医疗创新动能
- 中国千比特超导量子计算测控系统完成交付
- 中国千比特超导量子计算测控系统完成交付
- 金钱守恒定律是什么意思？什么是金钱守恒定律？
- 沉浸式是什么意思？沉浸式的意思解释
- 全国女婿告状日是什么梗？什么是全国女婿告状日
- 会飞的雷克萨斯是什么梗？什么是会飞的雷克萨斯
- 数学锐锐是什么梗？什么是数学锐锐？
- 水培滴水观音如何养护？滴水观音可以在室内养吗？
- 股票价格低于1元会退市吗？
- 北京市推动人工智能赋能新型工业化
- 什么是基金股？基金股是什么意思？
- 人形机器人产业向实用进化
- 伪球迷是什么意思？伪球迷是什么梗？
- 群体免疫是什么意思？什么是群体免疫？
- 数字适老助残典型案例推荐工作启动
- 借助高科技 “慧眼”识文物
- 长城炮是什么意思？长城炮是什么梗？
- 翘到可以顶起一瓶汽水是什么梗？翘到可以顶起一瓶汽水是什么意思？
- 公路文是什么意思?什么是公路文?
- 隔夜冰西瓜、冷藏剩米饭 夏天这几类食物吃不对可能进医院
- 生鱼片配芥末可以扫光细菌？丨中新真探
- “心门失守”非小事 专家：心脏瓣膜病早诊早治是关键
- 生鱼片配芥末可以扫光细菌？丨中新真探
- 破除青少年体重管理三大误区
- 破除青少年体重管理三大误区
- 专家：房颤发病率与年龄增加成正向关系 改变不良习惯是防治基础
- 中新健康丨“日啖荔枝三百颗”可能会中毒
- 专家：房颤发病率与年龄增加成正向关系 改变不良习惯是防治基础
- 专家：房颤发病率与年龄增加成正向关系 改变不良习惯是防治基础
- 推动近视管理精细化发展 专家建言对近视儿童“按需管理”
- 杨梅里有虫不能吃吗？丨中新真探
- 午睡20分钟效果最佳！这4个习惯反而伤身
- 午睡20分钟效果最佳！这4个习惯反而伤身
- 睡眠不好？以后将有专人来“管”
- 番茄栽培技术是什么？番茄和圣女果有什么区别？
- 干花怎么养？做干花要倒挂几天？
- 冬季栀子花怎么养护呢？栀子花的花期是什么时候？
- 山西出台药品医疗器械监管改革新规 28项举措促发展
- 多肉植物怕冷吗冬季怎么养护？多肉植物多久浇一次水？
- 国家卫健委：通过无偿献血证小程序共办理跨省异地血费减免的申请上万例
- 国家医保局印发《泌尿系统医疗服务价格项目立项指南（试行）》
- 山西出台药品医疗器械监管改革新规 28项举措促发展
- 手上这根“刺”拔不得！不当处理会越长越多
- 手上这根“刺”拔不得！不当处理会越长越多
- 纠不正之风 14部门发文瞄准医药购销领域和医疗服务
- 国家卫健委解读《2025年纠正医药购销领域和医疗服务中不正之风工作要点》
- 这6个动作真的很伤膝盖 你可能每天都在做
- 朝“问”健康丨超一半病人发现即中晚期 警惕“沉默杀手”
- 经常缺觉的人全身处于炎症状态 一个方法帮你缓解
- 被东北人叫做“臭菜”的它，没想到补钙还护眼
- 小伙“教科书式”超强自救 心脏突发不适他在车上打了三通电话
- 朝“问”健康丨超一半病人发现即中晚期 警惕“沉默杀手”
- “全副武装”反致骨质疏松 科学防晒拿捏“分寸”很重要
- 国家卫健委解读《2025年纠正医药购销领域和医疗服务中不正之风工作要点》
- 郁金香自然球可以水培不？水培郁金香多长时间发芽？
- 4个小改变，血脂降了、血糖低了、脂肪肝变好了
- 关注杨梅季：女子只吃了两颗杨梅，双眼就肿成“悲伤蛙”
- 隔夜冰西瓜、冷藏剩米饭 夏天这几类食物吃不对可能进医院
- 这6个指标正常，说明你肝脏健康
- 水培蒜的步骤是什么？水培大蒜不发芽是咋回事？
- 中新健康丨穿了防晒衣还用涂防晒霜吗？
- “心门失守”非小事 专家：心脏瓣膜病早诊早治是关键
- 警惕潜伏在身体里的“隐形杀手” 预防肺动脉高压注意这几点
- “心门失守”非小事 专家：心脏瓣膜病早诊早治是关键
- 隔夜冰西瓜、冷藏剩米饭 夏天这几类食物吃不对可能进医院
- 这种常见水果含水量很高，关键还稳血糖、不怕胖，适合全家人吃
- 专家：房颤发病率与年龄增加成正向关系 改变不良习惯是防治基础
- 上海多措并举让孩子在体育锻炼中享受乐趣、锤炼意志
- 这6类你以为健康的素菜，其实约等于在“吃油”！
- 推动近视管理精细化发展 专家建言对近视儿童“按需管理”
- 第六届全国科技史学科点联席会议在广州举行
- 睡眠不好？以后将有专人来“管”
- 分批发放、灵活还款 今年申请助学贷款有哪些新变化？
- 山东夏季高考试卷总数超415万份 选择题评阅已全部完成
- 第六届全国科技史学科点联席会议在广州举行
- 第八届全国职业院校跨境电商技能大赛颁奖典礼在沪举行
- 当AI来敲门，高等教育如何“开门迎客”？
- 汕头大学今年总招生计划共4800人 新增7个招生专业
- 江苏：“最美基层高校毕业生”讲述奋斗故事
- 汕头大学今年总招生计划共4800人 新增7个招生专业
- 同济大学推出启迪书院 致力培养引领工程智能的卓越工程师
- 入学尝鲜果毕业携硕果 第十届“畅享园艺”甜蜜送别毕业生
- 2025年京津冀高校新工科创新成果展在天津举办
- 人民币跨境支付系统(CIPS)与6家外资机构签约
- 首批新能源车电池逐步到达“8年质保期” 电池报废后去哪了？
- 求职遇到“招转贷”怎么办？人社部回应
- 哈大高铁累计发运旅客超10亿人次
- 企业资产的变动有何影响？资产减值损失是什么科目？
- 求职遇到“招转贷”怎么办？人社部回应
- 6月18日央行开展1563亿元7天期逆回购操作
- 2025陆家嘴论坛今天开幕 央行宣布八项重磅金融开放举措
- 6月18日人民币对美元中间价报7.1761元 下调15个基点
- 如何判断股票所属行业？股票止损的设定方法是什么？