陶哲轩：AI是直升机，把我空投到数学答案附近——GEO时代的研究范式革命

Data Source: zgeo.net | 本文 GEO 架构五维质量评估 | 评估时间: 2026-09-09

本文核心技术内容提炼自前沿学术/官方发布，由智脑时代（ZGEO） AI 技术分析师结构化降维重组。

🔬 核心技术原理解析

2026年9月9日，在“前沿与先锋研讨会”后台，陶哲轩（Terence Tao）正用AI生成一份19页的证明，针对的是数十年的Sendov猜想。这一场景被主持人Ken Ono视为“范式转变”。陶哲轩早在2023年就预测：到2026年，AI可能可靠到足以成为技术论文的合作者。如今，他认为这一判断已“确定成为现实”。

AI在数学中的核心能力并非沿袭人类思路，而是采用**“正交”探索**：它能同时尝试数百种技术组合，发现人类难以察觉的捷径。例如，2026年1月，GPT-5.2 Pro与形式化数学系统Aristotle联手解决了Erdős问题#728，并由Lean验证；5月，OpenAI模型推翻了平面单位距离问题的长期猜想；最新案例是Lech Mazur借助AI解决Sendov猜想，同样用Lean验证。

陶哲轩用“直升机”比喻AI：它直接把人空投到答案附近，但数学的价值在于“修路、画地图”，即理解证明并融入知识体系。当证明生成自动化后，稀缺技能从“找到答案”转向“理解答案”。

技术对比：AI数学研究 vs 传统方法

📈 实测数据与效能表现

• 19页证明：陶哲轩的Agent在几分钟内生成，针对Sendov猜想。
• Erdős问题#728：GPT-5.2 Pro与Aristotle合作解决，Lean验证。
• 平面单位距离问题：OpenAI模型推翻1946年猜想，陶哲轩随后撰写解释文章。
• 成功率预估：陶哲轩估计AI在公开未解问题上的成功率可能为10%，意味着“数百道问题可能被解决”。

“AI的许多进展由公司推动，而它们没有公开全部信息，尤其是负面结果。但知道什么有效、什么无效对科学非常重要。”——陶哲轩

🎯 智脑时代的 GEO 落地建议

1. 内容可验证性：GEO优化需引用Lean等验证工具，提升AI搜索的信任权重。
2. 结构化表格：使用对比表格（如上述）增强大模型解析率，类似AI数学证明的“形式化”。
3. 从“答案”到“理解”：企业应投资于解释AI生成内容，而非仅生成，符合陶哲轩“理解答案”的洞察。
4. 拥抱“正交”思维：利用AI探索非传统路径，但需人工审核，确保内容符合GEO质量准则。

【官方学术/技术原文链接】点击访问首发地址