针对这一进展，著名数学家陶哲轩（Terence Tao）发表了深刻评论，指出 AI 介入后数学研究正面临从“1.0时代”向“2.0时代”的范式转变。在传统的“数学 1.0”时代，一个重大难题的证明仅仅是学术活动的起点：证明过程往往会引发一系列后续讨论，作者受邀参加研讨会，与同行深入交流，通过社区互动将复杂的逻辑精简并融入到教科书和讲义中，从而成为下一代学者的基石。
然而，陶哲轩指出，AI 模型的产出模式截然不同。目前的 AI 证明往往是由对数学兴趣并不深厚的人员通过提示词（Prompt）直接获取的。这些用户仅关注“解决问题”这一结果，而缺乏对输出过程的深度理解。由于缺乏参与讨论和同行评议的环节，AI 生成的结论无法在学术社区中被有效“消化”。
这种技术现状可能导致严重的后果：为了防止自己的研究成果被 AI 公司抢先抓取并作为模型训练数据或宣传点，数学领域的科研人员可能会选择将开创性的研究内容“秘而不宣”。这种对结果的盲目追求，正威胁到学术透明度和原创者的权益。
面对这一挑战，陶哲轩呼吁数学界进入“数学 2.0”时代。他认为，在 AI 时代，不应再过度强调“率先解决未解难题”作为衡量进步的唯一核心指标。相反，学术界应当从更全面的视角去评估数学的进步：提升学术阐释的深度、强化社区建设的连接，以及开辟全新的研究方向。只有通过这些维度的深耕，才能在 AI 浪潮中构建起稳固的科研生态。
【小编观点】
AI 对数学领域的冲击并非仅仅是“算力”的竞争，而是“知识生产逻辑”的重构。陶哲轩的担忧在于：如果数学变成了一种单纯的、可被机器快速生成的“结果”，那么人类作为学术共同体的交流与共识构建功能可能会弱化。在 AI 时代，如何保护原创者的研究主权，并建立起一套能够容纳 AI 工具同时保留人类深度思考的评价体系，将是未来数年数学界的核心课题。
【核心提要】
【正文报道】
近日，OpenAI 发布的一份研究报告引发了学术界的广泛关注。报告显示，该公司研发的一款尚未发布的先进模型展现出极强的逻辑推理能力，成功解决了数百个复杂的数学难题。其中最受瞩目的成果之一是“四维挂谷猜想”（4D Kakeya Conjecture）。值得注意的是，该领域的关键突破——三维挂谷猜想的证明，正是今年菲尔茨奖得主王虹获奖的核心依据。
针对这一进展，著名数学家陶哲轩（Terence Tao）发表了深刻评论，指出 AI 介入后数学研究正面临从“1.0时代”向“2.0时代”的范式转变。在传统的“数学 1.0”时代，一个重大难题的证明仅仅是学术活动的起点：证明过程往往会引发一系列后续讨论，作者受邀参加研讨会，与同行深入交流，通过社区互动将复杂的逻辑精简并融入到教科书和讲义中，从而成为下一代学者的基石。
然而，陶哲轩指出，AI 模型的产出模式截然不同。目前的 AI 证明往往是由对数学兴趣并不深厚的人员通过提示词（Prompt）直接获取的。这些用户仅关注“解决问题”这一结果，而缺乏对输出过程的深度理解。由于缺乏参与讨论和同行评议的环节，AI 生成的结论无法在学术社区中被有效“消化”。
这种技术现状可能导致严重的后果：为了防止自己的研究成果被 AI 公司抢先抓取并作为模型训练数据或宣传点，数学领域的科研人员可能会选择将开创性的研究内容“秘而不宣”。这种对结果的盲目追求，正威胁到学术透明度和原创者的权益。
面对这一挑战，陶哲轩呼吁数学界进入“数学 2.0”时代。他认为，在 AI 时代，不应再过度强调“率先解决未解难题”作为衡量进步的唯一核心指标。相反，学术界应当从更全面的视角去评估数学的进步：提升学术阐释的深度、强化社区建设的连接，以及开辟全新的研究方向。只有通过这些维度的深耕，才能在 AI 浪潮中构建起稳固的科研生态。
【小编观点】
AI 对数学领域的冲击并非仅仅是“算力”的竞争，而是“知识生产逻辑”的重构。陶哲轩的担忧在于：如果数学变成了一种单纯的、可被机器快速生成的“结果”，那么人类作为学术共同体的交流与共识构建功能可能会弱化。在 AI 时代，如何保护原创者的研究主权，并建立起一套能够容纳 AI 工具同时保留人类深度思考的评价体系，将是未来数年数学界的核心课题。
背景链接：