AI与数学家之间的大战升级了。
近日，美国OpenAI公司公开了由前沿模型产出的722篇数学手稿，归为372组数学研究成果，覆盖数论、几何等诸多领域的难题，在全球数学界掀起巨大波澜。
OpenAI公司宣称，绝大多数结果均采用相同流程，使用尚未发布的内部模型获得，平均每个结果耗费了该模型约3小时的计算量。
这让人想起一个月前的那场争端。当时OpenAI公司宣布用大模型花费88小时解决了千禧年大奖难题之一的纳维-斯托克斯方程。25位菲尔兹奖得主为此发出联名公开信《人工智能在数学中的严重错位》，警示AI“暴力破解”数学难题带来的学术风险。
从“88小时攻克百年难题”到“批量输出数百成果砸盘”，AI公司正以工业化的节奏冲击着数学这座人类最古老的智识堡垒。AI与数学家的这场博弈，关乎数学学科的未来走向。
AI可以成为数学研究的利器。
研究效率飞跃。传统数学研究往往依赖数学家个人的直觉、经验与长期积累，一个猜想的验证可能耗费数年甚至数十年。而AI可以在极短时间内遍历海量可能性，帮助数学家处理枯燥重复的计算工作，大幅压缩研究进程。
研究边界拓展。人类数学家的思维受限于认知框架与学科惯性，而AI不受既有范式束缚。AI有可能发现人类难以察觉的结构与规律，也能并行探索多条证明路径，快速排除错误方向，为人类学者提供全新思路。
研究门槛降低。AI使得计算机科学、物理学、生物学等领域的研究者能够更便捷地运用数学工具，推动跨学科融合。
然而，隐忧同样深刻。
AI的“暴力破解”本质上是一种缺乏理解的计算。它能给出答案，却无法解释为什么。一个靠穷举得出的定理，即便正确，也难以带来认知上的启迪。而人类攻克数学难题，往往伴随着新概念、新方法的诞生，研究过程本身会启发大量后续工作，研究成果经过同行评审、讨论消化，最终丰富了学科知识体系。
更严峻的是学术生态的损伤。数学证明要求绝对的逻辑严密性，AI生成内容的可靠性验证是一大难题。
OpenAI公司批量生产结果却不公开模型细节和提示词，需要数学家耗费大量时间做“义务验证”。这让数学家们认为，“一次性发布700多份文件，展示的不是学术研究，而是权力”。“AI宣布突破、人类免费善后”的倒挂，侵蚀了学术共同体的信任。不少青年学者担心研究方向被AI抢先，不敢公开自己的探索，这也破坏了学术共同体的正常生态。
这场大战，目前尚无赢家。AI展示了工业化解题的效率，却暴露了“答案”与“理解”之间的深刻断裂。数学家捍卫着学科的内在价值，却面临学术生态被商业逻辑侵蚀的现实困境。
回顾历史，从算盘到计算机，数学史上每一次工具革命都重塑了学科的面貌，却从未终结数学本身。
展望未来，AI时代的数学，大概率也将带来人机分工的重组。学界需要建立适配AI时代的学术规范，明确AI成果的发布标准、评审机制，厘清AI参与科研的边界。
数学的未来，不应该是人类被AI取代，而应该是人类以AI为助手，抵达任何一方都难以独自触及的远方。
AI与数学家之间的大战升级了。
近日，美国OpenAI公司公开了由前沿模型产出的722篇数学手稿，归为372组数学研究成果，覆盖数论、几何等诸多领域的难题，在全球数学界掀起巨大波澜。
OpenAI公司宣称，绝大多数结果均采用相同流程，使用尚未发布的内部模型获得，平均每个结果耗费了该模型约3小时的计算量。
这让人想起一个月前的那场争端。当时OpenAI公司宣布用大模型花费88小时解决了千禧年大奖难题之一的纳维-斯托克斯方程。25位菲尔兹奖得主为此发出联名公开信《人工智能在数学中的严重错位》，警示AI“暴力破解”数学难题带来的学术风险。
从“88小时攻克百年难题”到“批量输出数百成果砸盘”，AI公司正以工业化的节奏冲击着数学这座人类最古老的智识堡垒。AI与数学家的这场博弈，关乎数学学科的未来走向。
AI可以成为数学研究的利器。
研究效率飞跃。传统数学研究往往依赖数学家个人的直觉、经验与长期积累，一个猜想的验证可能耗费数年甚至数十年。而AI可以在极短时间内遍历海量可能性，帮助数学家处理枯燥重复的计算工作，大幅压缩研究进程。
研究边界拓展。人类数学家的思维受限于认知框架与学科惯性，而AI不受既有范式束缚。AI有可能发现人类难以察觉的结构与规律，也能并行探索多条证明路径，快速排除错误方向，为人类学者提供全新思路。
研究门槛降低。AI使得计算机科学、物理学、生物学等领域的研究者能够更便捷地运用数学工具，推动跨学科融合。
然而，隐忧同样深刻。
AI的“暴力破解”本质上是一种缺乏理解的计算。它能给出答案，却无法解释为什么。一个靠穷举得出的定理，即便正确，也难以带来认知上的启迪。而人类攻克数学难题，往往伴随着新概念、新方法的诞生，研究过程本身会启发大量后续工作，研究成果经过同行评审、讨论消化，最终丰富了学科知识体系。
更严峻的是学术生态的损伤。数学证明要求绝对的逻辑严密性，AI生成内容的可靠性验证是一大难题。
OpenAI公司批量生产结果却不公开模型细节和提示词，需要数学家耗费大量时间做“义务验证”。这让数学家们认为，“一次性发布700多份文件，展示的不是学术研究，而是权力”。“AI宣布突破、人类免费善后”的倒挂，侵蚀了学术共同体的信任。不少青年学者担心研究方向被AI抢先，不敢公开自己的探索，这也破坏了学术共同体的正常生态。
这场大战，目前尚无赢家。AI展示了工业化解题的效率，却暴露了“答案”与“理解”之间的深刻断裂。数学家捍卫着学科的内在价值，却面临学术生态被商业逻辑侵蚀的现实困境。
回顾历史，从算盘到计算机，数学史上每一次工具革命都重塑了学科的面貌，却从未终结数学本身。
展望未来，AI时代的数学，大概率也将带来人机分工的重组。学界需要建立适配AI时代的学术规范，明确AI成果的发布标准、评审机制，厘清AI参与科研的边界。
数学的未来，不应该是人类被AI取代，而应该是人类以AI为助手，抵达任何一方都难以独自触及的远方。
诺贝尔化学奖获得者阿龙・切哈诺沃：做研究保持好奇心很重要 中新网宁波3月17日电(林波)对于学生而言，如何找到研究的信心和价值，让他们有继续下去的动力？ “做研究保持好奇心很重要。”3月17日，2004年诺贝尔化学 眼眸深邃似海、璨如星河，中国医学科学院生物医学工程研究所眼科诊疗技术研发团队（以下简称“团队”）正是眼眸“侦探”。该团队不久前被授予“国家卓越工程师团队”称号。别看人眼只有8克左右，却 记者3月21日从安徽师范大学获悉，该校生命科学学院张方教授课题组通过野外自然抱对、控制实验下抱对以及视频回放等实验手段，证实他们前期提出的，眨眼行为可能在雌性凹耳蛙性选择中起着重要作用 3月23日消息，荣耀Magic6 RSR 保时捷设计于3月22日正式开售，售价为9999元。该款电话首销当天即被抢购一空，荣耀商城显示，下一轮销售时间将是3月29日上午10:08。荣耀总裁赵明在微博上表示，荣耀Magic6 RS 3月24日消息，今日一则#男孩捡17岁女生电话归还反被讹200#的话题登上微博热搜，引发网民热议。据报道，3月23日，山西长治。郭女士父亲捡到一台iPhone电话，归还时机主反称电话后壳里的200元现金不见了。郭 3月21日，人工智能大模型赋能企业科技创新研讨会在广州召开。中国知网在会议期间发布了专利大数据智能应用产品“AI Pat+”。据中国知网相关负责人介绍，中国知网在人工智能大模型领域的深入研发 。本文链接：【科创之声】AI大战数学家，谁是赢家http://www.sushuapos.com/show-2-17281-0.html
声明：本网站为非营利性网站，本网页内容由互联网博主自发贡献，不代表本站观点，本站不承担任何法律责任。天上不会到馅饼，请大家谨防诈骗！若有侵权等问题请及时与本网联系，我们将在第一时间删除处理。
上一篇： 实验上舞台 科学更“入戏”——第八届全国科学实验展演汇演见闻
下一篇： 八部门发文：促进智能家居消费