10月12日讯，据 officechai 报道，菲尔兹奖获得者陶哲轩（terence tao）在其题为“math 2.0”的演示文稿中指出，人工智能正推动数学迈入证明不再稀缺的新阶段，整个数学界亟需重新审视自身的角色与发展方向。
在传统的“Math 1.0”范式中，数学突破高度依赖人类专家对难题的攻坚。然而，数学证明本身具有客观可验证性、完全数字化特性，且大量文献早已实现在线化，这使其成为AI最易切入并率先取得进展的学科领域之一。Tao强调，当前AI的能力呈现明显“不均衡”状态——它已在多个长期悬而未决的问题上展现出解决潜力，但在涉及主观判断、直觉推理及真实世界语境交互等方面仍存在显著局限。他还以“幸存者偏差”为例提醒学界：大量AI失败尝试往往未被公开报道，因此不能误判当前技术已真正攻克数学前沿核心难题。
Tao进一步指出，开放性数学问题本质上如同指引探索方向的“灯塔”，若过早依赖AI直接抵达答案，将削弱数学家在探索过程中所积累的深层理解与直觉，进而损害整个学科的内在生命力。一味追求快速解题，可能割裂从纯数学到应用数学之间本应自然演进的理解链条，最终危及数学学科的可持续发展。
为此，他提出若干转型路径：大力发展大规模实验数学、鼓励开放性问题阐释与协作、系统构建形式化数学知识库、以及推动可解释AI模型的研发与应用。这些举措旨在拓宽研究边界，同时弱化对“单一问题求解”的过度依赖。值得注意的是，该文稿发布之时，人类数学协会（Human Mathematics Association）刚刚就OpenAI批量发布AI生成数学证明一事发表正式抵制声明。
☞☞☞AI 智能聊天, 问答助手, AI 智能搜索, 多模态理解力帮你轻松跨越从0到1的创作门槛☜☜☜
