近期，全球数学界正悄然上演一场变革，几大标志性事件引发学界的持续关注和热议——
一是国产大模型DeepSeek-V3.2-Speciale在国际数学奥林匹克竞赛（IMO）、国际信息学奥林匹克竞赛（IOI）等顶级赛事中斩获金牌级成绩；
二是菲尔兹奖得主陶哲轩借升级后的谷歌Gemini，十分钟补全一道困扰学界多年的埃尔德什（Erdős）问题证明，从论证分析打通了结论确认；
三是传奇数学家小野健（Ken Ono）辞去弗吉尼亚大学终身教职，加入了由他的博士生洪乐潼创办的初创公司，专注创造“AI数学家”……
从在奥赛夺金，到协助数学家解题，再到自主攻克数学难题，学界热议的一个核心议题是：AI或许会相当快地超越人类数学家。如果AI能独立验证猜想、破解难题，人类数学家又将何去何从？
AI是数学研究的工具还是颠覆者？
先说57岁著名数论学家小野健的“离职”。据说，促使他决定离开象牙塔的一个原因，是在一次研讨会上受到的冲击：他发现自己在直觉与抽象思维上的领先优势，正在被AI迅速缩小。而小野健加入的初创公司Axiom Math（公理数学），由他曾经的学生、年仅24岁的洪乐潼创办。这家公司的愿景直白而惊人：构建能够猜想、证明并解释的AI数学家。他们的模型在无人干预的情况下，攻克了困扰数学界数十年的两道埃尔德什难题，且逻辑无漏洞。
那么，AI对数学研究的影响目前进展如何？记者在采访多位学者后发现，对于这一问题，目前学界存在两种截然不同的声音。
一种声音认为，AI到目前为止只是一个辅助工具，距离独立解决前沿数学研究问题，还需要很久。就在去年，复旦大学上海数学中心青年研究员林伟南通过结合计算机算法，与合作者共同解决了持续大半个世纪之久的126维Kervaire不变量（几何拓扑学中的一个重要概念）问题，获得广泛关注。在林伟南看来，目前的AI更像是“聪明的字典”。自ChatGPT出现以来，AI在数学方面还没有出现新的“颠覆性时刻”，大部分只是技术性的提升。就以考试打比方来说，“好比最好的是80分，明天有AI达到了81分，另一个82分，再一个83分……虽然每走一步都会有报道，但实际上进步不是特别大。”
林伟南指出，AI目前在处理高度抽象的数学概念时，仍面临AI幻觉和专用语料库不足的挑战。所以，数学家目前更多是利用AI来补全形式化证明中的琐碎步骤或LaTeX（一种排版系统）代码，核心的思路框架仍需人类主导。对于“AI取代数学家”的说法，他持保留态度：“至少十年内不太可能。”
而持另一种截然相反的观点认为，随着AI的发展，传统意义上的解题型数学家可能会失去存在的必要。
数学AI创业者、深耕AI与数学研究的马小扁就将人类数学家自身的局限称为“原罪”——寿命太短、速度太慢、脑容量太小。如他所言，“一些巨大的数学定理可能需要几万页、耗时几十年才能证明，人类很难独立完成，但AI解决了这个问题。”
其实，“AI教父”杰弗里·辛顿就曾公开表示，数学家也许将很快失业。因为数学是一个不需要数据的封闭系统。仅需包含一个提出定理的模块，和另一个尝试证明它们的模块，AI就能持续学习大量的数学知识。
数学研究，“人机协同”是大势所趋？
尽管学界在相关议题上的观点分歧尚未消弭，但也有达成共识之处。比如，多数学者都认为，未来的数学研究可能依靠“人机协作”完成。
数学家陶哲轩在公开分享中提到，他更愿意把AI当作嵌入式助手，而不是“直接吐答案”的黑箱：先由人把问题写成一份可执行的“规格书”（Spec）——包括目标、约束条件、分步计划与每一步的验收标准；再让AI按步骤推进，并在关键节点进行对齐确认；最后再用外部计算工具（如Python）做一次独立核验，确保结果确实满足事先设定的约束。
这种“规格先行（Spec-first）”的方法，本质上是把人的洞见转译成可检查、可复现的流程。对此，AI创业者木大宝也进一步向记者解释，它相当于用结构化规格把概率模型的输出“装进”可验证的管道里，从而最大限度降低数学推导与计算过程中的“幻觉”风险。
“AI能帮你完成重复性的工作，撰写部分代码或论文，但前提是你必须比AI更聪明，能判断它输出结果的对错，以及进行后期的维护运营。”林伟南说，这实际上意味着，未来的数学研究在某一阶段将从单纯的“求解”，转向对AI生成结果的审视与构建。
数学教育，为何仍然不可或缺？
当AI能够部分甚至完全替代数学家的工作，数学教育又将发生怎样的变化？
“不论如何，数学教育仍然不可或缺。”复旦大学特聘教授、计算与智能创新学院教授王晓阳谈到，数学其实是一种底层的逻辑训练，自然界运行的底层逻辑就跟数学有关。即使AI能证明所有数学定理，也需要人来整理、让大家了解世界运行的逻辑。这是非常重要的。
当然，AI给数学界带来的挑战也确实很棘手。林伟南坦言，目前，一些AI大模型在本科生级别的作业中已经表现出色。在AI唾手可得的时代，学生的主观能动性和兴趣将变得比以往任何时候都重要。“如果只是为了完成任务，AI能帮你搞定一切；但如果是为了真正的研究，需要对问题本身有极大的热情。”
技术迭代的尽头，始终指向对人的关怀。其实，无论是小野健眼中的“另一种做数学的方式”，还是陶哲轩手中的“思维外挂”，AI终究是人类的延伸，不是替代人，而是成就人。
未来，人类数学家或许将不再是繁重计算的承担者，而是成为数学大厦的“设计师”与“价值罗盘”，并去进一步追问那个更古老的问题：在无数可能的真理中，我们为何关心这一条？
近期，全球数学界正悄然上演一场变革，几大标志性事件引发学界的持续关注和热议——
一是国产大模型DeepSeek-V3.2-Speciale在国际数学奥林匹克竞赛（IMO）、国际信息学奥林匹克竞赛（IOI）等顶级赛事中斩获金牌级成绩；
二是菲尔兹奖得主陶哲轩借升级后的谷歌Gemini，十分钟补全一道困扰学界多年的埃尔德什（Erdős）问题证明，从论证分析打通了结论确认；
三是传奇数学家小野健（Ken Ono）辞去弗吉尼亚大学终身教职，加入了由他的博士生洪乐潼创办的初创公司，专注创造“AI数学家”……
从在奥赛夺金，到协助数学家解题，再到自主攻克数学难题，学界热议的一个核心议题是：AI或许会相当快地超越人类数学家。如果AI能独立验证猜想、破解难题，人类数学家又将何去何从？
AI是数学研究的工具还是颠覆者？
先说57岁著名数论学家小野健的“离职”。据说，促使他决定离开象牙塔的一个原因，是在一次研讨会上受到的冲击：他发现自己在直觉与抽象思维上的领先优势，正在被AI迅速缩小。而小野健加入的初创公司Axiom Math（公理数学），由他曾经的学生、年仅24岁的洪乐潼创办。这家公司的愿景直白而惊人：构建能够猜想、证明并解释的AI数学家。他们的模型在无人干预的情况下，攻克了困扰数学界数十年的两道埃尔德什难题，且逻辑无漏洞。
那么，AI对数学研究的影响目前进展如何？记者在采访多位学者后发现，对于这一问题，目前学界存在两种截然不同的声音。
一种声音认为，AI到目前为止只是一个辅助工具，距离独立解决前沿数学研究问题，还需要很久。就在去年，复旦大学上海数学中心青年研究员林伟南通过结合计算机算法，与合作者共同解决了持续大半个世纪之久的126维Kervaire不变量（几何拓扑学中的一个重要概念）问题，获得广泛关注。在林伟南看来，目前的AI更像是“聪明的字典”。自ChatGPT出现以来，AI在数学方面还没有出现新的“颠覆性时刻”，大部分只是技术性的提升。就以考试打比方来说，“好比最好的是80分，明天有AI达到了81分，另一个82分，再一个83分……虽然每走一步都会有报道，但实际上进步不是特别大。”
林伟南指出，AI目前在处理高度抽象的数学概念时，仍面临AI幻觉和专用语料库不足的挑战。所以，数学家目前更多是利用AI来补全形式化证明中的琐碎步骤或LaTeX（一种排版系统）代码，核心的思路框架仍需人类主导。对于“AI取代数学家”的说法，他持保留态度：“至少十年内不太可能。”
而持另一种截然相反的观点认为，随着AI的发展，传统意义上的解题型数学家可能会失去存在的必要。
数学AI创业者、深耕AI与数学研究的马小扁就将人类数学家自身的局限称为“原罪”——寿命太短、速度太慢、脑容量太小。如他所言，“一些巨大的数学定理可能需要几万页、耗时几十年才能证明，人类很难独立完成，但AI解决了这个问题。”
其实，“AI教父”杰弗里·辛顿就曾公开表示，数学家也许将很快失业。因为数学是一个不需要数据的封闭系统。仅需包含一个提出定理的模块，和另一个尝试证明它们的模块，AI就能持续学习大量的数学知识。
数学研究，“人机协同”是大势所趋？
尽管学界在相关议题上的观点分歧尚未消弭，但也有达成共识之处。比如，多数学者都认为，未来的数学研究可能依靠“人机协作”完成。
数学家陶哲轩在公开分享中提到，他更愿意把AI当作嵌入式助手，而不是“直接吐答案”的黑箱：先由人把问题写成一份可执行的“规格书”（Spec）——包括目标、约束条件、分步计划与每一步的验收标准；再让AI按步骤推进，并在关键节点进行对齐确认；最后再用外部计算工具（如Python）做一次独立核验，确保结果确实满足事先设定的约束。
这种“规格先行（Spec-first）”的方法，本质上是把人的洞见转译成可检查、可复现的流程。对此，AI创业者木大宝也进一步向记者解释，它相当于用结构化规格把概率模型的输出“装进”可验证的管道里，从而最大限度降低数学推导与计算过程中的“幻觉”风险。
“AI能帮你完成重复性的工作，撰写部分代码或论文，但前提是你必须比AI更聪明，能判断它输出结果的对错，以及进行后期的维护运营。”林伟南说，这实际上意味着，未来的数学研究在某一阶段将从单纯的“求解”，转向对AI生成结果的审视与构建。
数学教育，为何仍然不可或缺？
当AI能够部分甚至完全替代数学家的工作，数学教育又将发生怎样的变化？
“不论如何，数学教育仍然不可或缺。”复旦大学特聘教授、计算与智能创新学院教授王晓阳谈到，数学其实是一种底层的逻辑训练，自然界运行的底层逻辑就跟数学有关。即使AI能证明所有数学定理，也需要人来整理、让大家了解世界运行的逻辑。这是非常重要的。
当然，AI给数学界带来的挑战也确实很棘手。林伟南坦言，目前，一些AI大模型在本科生级别的作业中已经表现出色。在AI唾手可得的时代，学生的主观能动性和兴趣将变得比以往任何时候都重要。“如果只是为了完成任务，AI能帮你搞定一切；但如果是为了真正的研究，需要对问题本身有极大的热情。”
技术迭代的尽头，始终指向对人的关怀。其实，无论是小野健眼中的“另一种做数学的方式”，还是陶哲轩手中的“思维外挂”，AI终究是人类的延伸，不是替代人，而是成就人。
未来，人类数学家或许将不再是繁重计算的承担者，而是成为数学大厦的“设计师”与“价值罗盘”，并去进一步追问那个更古老的问题：在无数可能的真理中，我们为何关心这一条？
中国科学院深圳先进技术研究院15日发布消息称，该院科研团队研发了一种具有靶向送药功能的磁驱软体机器人，该机器人能够根据器官内部环境的特点选择合适的运动模式，实现靶向送药的同时还可以控制 科技日报从哈尔滨工业大学获悉，北京时间2024年3月20日8时31分28秒，“天都一号”“天都二号”通导技术试验星伴随探月工程四期鹊桥二号中继星任务搭乘长征八号遥三运载火箭从文昌航天发射场发射 3月18日，记者从中南大学生殖与干细胞研究所获悉，研究所林戈、卢光琇教授团队提出的一项新理论称，原始生殖细胞的性染色体组成在人类性别决定中起关键作用。相关论文日前发表于国际生殖领域杂志 21世纪经济报道记者 冯恋阁 王俊 广州、北京报道2013年播出的科幻电视剧《黑镜》第二季中有这样一个故事——女主角玛莎在男友艾什被车祸夺走生命之后，长久无法走出分离的痛苦，最终选 回望一加去年的整体节奏，如果要用一个词来总结其数字系列和Ace系列的概况，那就是“卷”！从外观质感、内存性能到整机体验，与友商的相互竞争中，一加表现的都比较强势，搭配清晰的产品定位策略和稳扎稳打 今天（23日）是第64个世界气象日，今年世界气象日的主题是“气候行动最前线”。地球是人类赖以生存和发展的家园，气候变化给人类造成的影响广泛而深远，关乎当下，更关乎未来。世界气象组织确认2023年全 。本文链接：AI攻下奥数，“AI教父”预言数学家将失业，数学界会“变天”吗？http://www.sushuapos.com/show-2-14614-0.html
声明：本网站为非营利性网站，本网页内容由互联网博主自发贡献，不代表本站观点，本站不承担任何法律责任。天上不会到馅饼，请大家谨防诈骗！若有侵权等问题请及时与本网联系，我们将在第一时间删除处理。