陶哲轩谈AI时代的数学

RecodeX 重构消息，数学家陶哲轩与邓煜在播客对谈中谈及AI生成的数学成果，陶哲轩将其形容为“有毒废料”。此次讨论发生在722篇AI论文引发学界震荡一个月之后。两人在对话中强调，理解数学证明的责任仍然在人。

RecodeX 重构消息，菲尔兹奖得主陶哲轩与邓煜近日对谈，针对商业AI批量发布数学证明引发的争议提出：AI产出证明不代表人类真正理解题目，解出问题与理解证明是两回事，比起解题数量，更应关注证明的可理解性、推导的可核查性以及数学家能否在此基础上继续探索。

两人认为AI可承担繁琐推导并带来新想法，但需保留慢科研在增进理解、建设学术共同体、延续人类对学科掌握方面的价值，同时追溯AI产出内容的思想来源与贡献归属。二人参与发起Open Math Model开放数学模型计划，先推出整合现有开放模型、研究工具与协作功能的Open Math OS工作平台，推动数学共同体参与工具开发。

RecodeX 重构消息，10月9日，菲尔兹奖得主陶哲轩在加州理工学院贝克曼礼堂发表演讲，将原定题目《机器辅助证明》改写为《数学2.0》。他提出数学已从「证明稀缺」的数学1.0时代进入「证明过剩」时代，AI可批量产出证明，人类的核心任务应转向增强理解、整合知识网络与建设形式化数学知识库。他同时警告，若AI给出人类无法理解的证明或药物机制，将构成危险的错误对齐。

RecodeX 重构消息，数学家陶哲轩提出“数学2.0时代已至”的判断，认为人工智能正在改变数学研究的方式。他此前多次公开讨论AI在数学领域的应用前景，指出AI工具已能协助完成部分证明与猜想探索工作。

RecodeX 重构消息，数学家陶哲轩转发同行托马斯·黑尔斯的文章，围绕人工智能批量生成数学证明展开讨论。相关争议聚焦于AI生成的证明大量涌入后，Lean等证明助手的可靠性以及数学验证流程是否仍然可信。

RecodeX 重构消息，菲尔兹奖得主陶哲轩近日发文提出“数学2.0时代已至”，认为AI正让数学证明从稀缺走向泛滥，建立在证明稀缺之上的数学1.0评价体系即将落幕。他指出，在有足够算力和前沿模型的情况下，许多开放问题可在较短时间内获得解答，但判断解答是否正确、贡献多大、如何与已有研究衔接仍需认真处理，否则会出现“解出了题却没有增加人的理解”的错位。

陶哲轩归纳数学易受AI冲击的三个条件：证明可被客观检验、数学对象与推理高度可数字化、大量高质量文献已数字化。他同时提醒警惕幸存者偏差，呼吁建立更透明科学的评估机制，把失败结果与AI算力成本一并纳入报告，并主张减少对抢先生成证明的强调，增加对解释、评审和知识整理的重视。

RecodeX 重构消息，数学家陶哲轩在题为《Math 2.0》的演讲中提出，AI正让数学研究从传统的“证明稀缺”时代走向“证明富足”时代。他警告，当前数学界过度聚焦用AI自动解决开放问题，会让人类理解环节被绕过，损害数学的长期发展与现实应用的安全性。

他描绘的Math 2.0愿景是把AI作为辅助工具强化人类对数学的理解，并列举了开放阐释问题、搭建动态数学知识网络、建设高质量形式化数学库等具体研究方向，认为核心瓶颈并非技术，而是打破传统研究路径依赖的想象力。

RecodeX 重构消息，数学家陶哲轩转发了一份抵制声明，围绕数学界是否应使用OpenAI工具的矛盾进一步公开化。相关讨论聚焦于数学家是否需要借助AI证明自身研究能力，双方立场分歧明显。

RecodeX 重构消息，xAI联合创始人近日公开表示，数学作为人类智力活动的“英雄史”正在走向终结，未来数学研究将由AI主导。该观点在学术与科技界引发讨论，核心争议在于AI是否已具备独立完成数学发现与证明的能力。

RecodeX 重构消息，北京大学副教授李欣意公开批评硅谷大型科技公司以AI攻克数学难题的做法，认为这种方式正在伤害数学共同体。他指出，此类由企业主导的AI解题路径与数学界长期形成的协作与评价传统存在冲突，可能对学术生态造成负面影响。

RecodeX 重构消息，搜狐创始人、董事局主席兼首席执行官张朝阳做客北京师范大学，以“张量的梯度与微分”为主题进行线下演讲。在课程结束后的媒体沟通环节，谈及AI时代的科学学习话题时，张朝阳表示，AI时代更要亲自算，只有算了才能到脑子里面。

RecodeX 重构消息，OpenAI的AI模型在88小时内完成了一道数学家耗时13年未能解决的数学难题，相关进展被视为数学解题进入新纪元。与此同时，25位知名学者联合发表反对意见，对AI介入数学研究的方式提出质疑。

RecodeX 重构消息，OpenAI前后训练副总裁Liam Fedus就陶哲轩等25位菲尔兹奖得主联署的AI与数学声明作出回应。双方均认同数学不能只剩答案，但数学家担忧当前AI追逐解题成绩的方式会损害数学知识的积累与传承。Fedus则持乐观态度，认为未来AI能参与创造知识、成为数学研究伙伴，并以AlphaGo类比称数学领域或将迎来类似围棋的变化。

联署声明指出，当前AI目标与数学共同体目标存在偏移，解难题只是数学研究的一部分，成果需被理解传承，AI成果易引发归属问题，学生培养也不能被答案替代，同时认可AI的潜力。

近年AI在数学领域突破显著，已从竞赛数学转向开放数学问题，取得反驳Erdős单位距离猜想、找到三维Navier–Stokes方程奇点证明等成果，但也引发成果归属与署名争议。美国数学学会、伦敦数学会、克雷数学研究所分别发声，强调数学以人类理解为目的，AI是工具，其成果需经同行检验，价值更在过程中的新思想方法。

RecodeX 重构消息，包括陶哲轩在内的25位菲尔兹奖得主联合发表声明，批评当前人工智能领域以刷榜为导向的评价方式正在扼杀数学研究乃至全人类的智力探索。声明指出，过度追求基准测试成绩的做法偏离了数学研究的本质目标。

RecodeX 重构消息，包括邓煜在内的25位菲尔兹奖得主联合发表公开信，公开抵制当前数学领域借助人工智能解题的潮流，呼吁捍卫人类思想在数学研究中的核心地位。该联署行动被视为数学家群体对AI大规模介入数学证明与问题求解的首次集体表态。

RecodeX 重构消息，UCLA数学圈传出消息，两名高中生Aayush Bathija和Prince Rohatgi在博士后指导下，解决了一个数学家许埈珥（June Huh）此前未能攻克的难题。该证明在AI重度辅助下完成，使用的模型为Claude Opus 5和GPT-5.6 Sol。

RecodeX 重构消息，包括陶哲轩、邓煜在内的25位数学家联名发表公开信，向人工智能公司提出要求，呼吁其在涉及数学证明的AI研发中遵循学术规范。公开信由多位知名数学家共同署名，具体诉求与后续回应尚未披露。

RecodeX 重构消息，陶哲轩等25位菲尔兹奖得主联合发布《AI在数学中的严重失准》声明，指出AI快速批量产出的解法未经规范整理，来不及剥离新方法与新思想、引用前作，可能破坏孕育新思想的土壤并断裂数学家间的人类传承链条。声明因事态紧迫未走充分征询流程。

声明发布前一天，一篇预印本宣称由Odin Automatic AI Research Agent发现证明，解决了差异理论中悬置四十年的Komlós猜想，给出常数3√(2π)，并得到Beck–Fiala猜想方向上的推论。论文作者为三位生物统计相关学者，此前曾借助Odin宣称解决Talagrand卷积猜想并获同行认可，但Odin无公开记录，论文仅说明AI负责发现证明、作者整理成文。

目前AI参与的数学成果宣称大量涌现，远超同行评审速度，传统评审机制的前提被打破。

RecodeX 重构消息，多位菲尔兹奖得主，包括陶哲轩、邓煜等人，联合发表抗议，指责AI公司正在毁掉整个数学圈。抗议者认为，AI企业的大规模介入正在破坏数学研究的正常生态。

RecodeX 重构消息，OpenAI于8日正式公布纳维-斯托克斯方程存在性与光滑性问题的C、D解爆破解。据其说法，9月1日听闻Anthropic可能解决千禧年难题的传闻后，公司动用比Astra更强的内部模型，以约一万个Agent并行运算，88小时消耗1300亿token，先于约50小时内攻克三维欧拉方程无外力爆破解，随后完成NS方程攻坚，并用GPT6 Astra验证17小时。

数学家Buckmaster与Alpöge此前已合作推进同一路径，8月15日取得Boussinesq方程和三维欧拉方程有外力爆破解，因整理AI证明耗时数周未及时发布。Buckmaster称9月3日曾致信OpenAI说明系私人合作，OpenAI研究员Bubeck否认曾要求排除Alpöge署名。双方就模型是否接触其Codex草稿各执一词。

RecodeX 重构消息，数学家陶哲轩表示，人工智能正在以不可再生的方式“开采”未解决的数学难题。他指出，AI系统能够快速探索大量数学猜想和问题，但这些问题一旦被解决便不再存在，类似于不可再生资源的消耗。陶哲轩认为，这种趋势可能改变数学研究的未来方向，但也引发了对数学问题储备可持续性的担忧。

RecodeX 重构消息，Anthropic 研发的 AI 系统将怀尔斯证明费马大定理的 129 页内容转化为计算机可验证的 Lean 形式化版本，用 3 条标准公理完成全链条验证，生成约 1300 万行代码，涉及 3.03 万个定理。项目借助多智能体协作等技术克服两大核心挑战，计算规模庞大，经独立审阅确认可靠，11 天完成主要工作，效率提升超两个数量级，开创 AI 辅助数学形式化新范式，完整证明已在 GitHub 公开。

RecodeX 重构消息，菲尔兹奖得主陶哲轩近日发表论文，系统论述AI对数学的冲击。论文引用数据称，10道未公开的研究级数学难题中，4个前沿AI系统有7道获得至少一个“基本无瑕”解答，成本仅几十至几百美元，而博士生可能需三年。

陶哲轩提出“证明消化不良”概念，认为AI生成证明速度将远超人类验证、消化能力，数学瓶颈从“产生证明”转向“消化证明”。他主张，若作者不能清晰讲解成果，即使形式化验证通过也不应发表。论文还引用2026年6月《莱顿宣言》，强调人类须为最终成果负责。

RecodeX 重构消息，OpenAI于2026年5月20日宣布，其未公开的AI模型推翻了匈牙利数学家Paul Erdős在1946年提出的一个猜想，这是AI首次产出具有历史意义的数学证明。8月1日，OpenAI再次宣布其Astra模型解决了10项数学进展，包括Erdős提出的另外三个问题。普林斯顿大学数学家Noga Alon表示，这些模型正在极大改变数学研究方式。此外，英国数学家Thomas Bloom创建的erdosproblems.com网站已成为AI解决数学问题的试验场，社区成员包括客服人员与菲尔兹奖得主陶哲轩等。

RecodeX 重构消息，纽约大学阿布扎比分校博士后Rishikesh Gajjala宣布退出数学学术界。过去几个月，AI帮助他在读博期间钻研多年的难题上接连取得突破，但他认为数学的意义在于探索过程而非答案本身，AI正使答案变得廉价，因此决定转向形式化验证领域，加入获Khosla Ventures领投2700万美元种子轮的PramaanaLabs，用Lean定理证明助手语言形式化验证AI发现的猜想。

与此同时，Axiom Math的多智能体系统AxiomProver首次自动完成“246定理”证明的形式化验证，该定理代表人类关于素数知识的边界。团队还将素数间隙结果打包成开源库，供其他AI系统调用。陶哲轩在2026年国际数学家大会演讲中提出“证明的消化不良”概念，指AI生成证明速度远超人类审核速度。

RecodeX 重构消息，7月下旬在费城举行的国际数学家大会上，陶哲轩描述了一种前所未有的情况：一项重要数学结果已被证明并通过验证，却没有人能解释该证明为何成立，也无法将其清晰地传授给其他数学家，使其得以理解、复用与传承。这反映了AI在数学证明领域带来的新挑战。

AI科研成本骤降：200美元即可攻克数学世纪难题，边际成本从百万级降至百元级，预示产业变革。

数学家陶哲轩发表视频演讲，探讨人工智能时代数学的发展与变革。

数学家陶哲轩在演讲中探讨人工智能对数学研究的影响与未来。