AI揭示数学界30年盲点，陶哲轩预言科研新纪元

type

status

date

slug

summary

从“抄袭”乌龙到惊人发现

故事的开端颇具戏剧性。OpenAI科学家Sebastien Bubeck曾高调宣称，未来的GPT-5模型破解了十道悬赏的“埃尔德什难题”（Erdős problems）。然而，这一说法很快被指出，GPT并非独立解决了这些难题，而只是在浩如烟海的文献中找到了这些问题的已有解法。一时间，嘲讽声四起，谷歌DeepMind的Hassabis称之为“太尴尬了”，而图灵奖得主Yann LeCun更是斥之为“自食其果”。

然而，当人们以为这只是AI“文献检索”能力的一次炫技时，一个惊人的反转出现了。

普林斯顿大学的Boris Alexeev和俄亥俄州立大学的Dustin G. Mixon发现，其中一个悬赏1000美元的707号埃尔德什问题，其“答案”（一个反例）竟然在一篇比问题本身早30年发表的论文中就已存在。这意味着，整个数学界在长达30年的时间里，都在“虚空索敌”，试图解决一个早已被间接解决的问题。

这个发现本身就凸显了现代科研的困境：知识爆炸使得文献检索和验证变得异常困难。而AI，即使只是扮演“超级检索员”的角色，也已经展现出其不可替代的价值。当初被嘲笑的Bubeck，也因此扳回一局。

人机协作：ChatGPT如何成为数学家的“神兵利器”

真正的亮点在于接下来发生的事情。为了100%确认那个30年前的反例确实有效，两位数学家决定使用形式化证明工具Lean进行验证。然而，他们并不熟悉Lean的复杂操作。这时，ChatGPT成为了破局的关键。

他们采用了一种被称为“氛围编程”（vibe coding）的方式，通过与ChatGPT不断对话、反馈和修正，让AI生成Lean代码来构建整个形式化证明。这个过程并非一键生成，而是充满了人类智慧的引导和AI能力的辅助，是一场持续一周的“人机协作马拉松”。

最终的成果令人震撼： * 一份超过6000行的Lean代码。 * 包含了26个定义、169个引理和4个核心定理。 * 在普通笔记本电脑上，整个证明的验证过程耗时不到半分钟。

这标志着AI在严肃科研领域的角色转变——从简单的信息检索，升级为能够参与复杂逻辑构建和代码生成的“协作伙伴”。对于国内的研究者而言，想要体验这种前沿的人机协作模式，无需复杂的网络设置，通过如 https://chat.aigc.bar 这样的ChatGPT镜像站，便能轻松访问，探索ChatGPT国内如何使用的无限可能。

陶哲轩的冷静观察：AI在科研中的真正角色

作为数学界的顶尖人物，陶哲轩对此事给予了高度评价。他认为，这是“负责任地使用LLM输出的罕见用例之一”。

他强调了两个关键点： 1. 可验证性：AI生成的任何内容（在此例中是Lean代码）都没有被直接当作最终结论放入论文正文，而是被置于一个完全可验证的框架内。Lean系统成为了最终的“裁判”，确保了逻辑的严谨性。 2. 辅助而非替代：陶哲轩明确指出，“Lean形式化只是对人类证明的补充，并不能取而代之。”AI的角色是加速器、是工具、是灵感来源，但最终的洞察、判断和责任仍属于人类研究者。

这为我们提供了一个清晰的指引：在科研中拥抱AI，关键在于建立一套“人类主导、AI辅助、机器验证”的闭环流程。想要获得稳定、高效的AI辅助体验，选择一个ChatGPT不降智的可靠平台至关重要。

星星之火：AI驱动科研革命的更多证据

埃尔德什问题的案例并非孤例，AI辅助科研的“星星之火”已在全球范围内呈现燎原之势。

生成全新反例：加州大学的数学教授Paata Ivanisvili甚至将ChatGPT列为一篇论文的第一作者。因为AI在一个公开的未解问题中，通过数值实验提出了一个全新的、可验证的、非平凡的反例，其贡献超越了简单的文献检索。

加速理论突破：UCLA的Ernest Ryu教授借助GPT模型，仅用12小时就解决了一个困扰他许久的凸优化领域开放问题。他指出，尽管AI 80%的尝试是错误的，但它提供了新颖的思路，并快速排除了无效路径，极大地加速了探索进程。

这些案例共同描绘了一幅科研新图景：研究者可以将更多精力投入到提出假设、设计框架和解读结果等高层次的创造性工作中，而将繁琐的计算、代码生成、文献查证和思路试错交给AI。无论是访问GPT官网还是使用国内优化的服务，核心都是利用AI这一强大工具来增强人类自身的智慧。

结论：迎接智能时代的科研新范式

从“尴尬”的乌龙到改写数学史的发现，AI的科研潜力正在以超乎想象的速度被释放。它不是取代人类的“终结者”，而是赋能人类的“倍增器”。这场由ChatGPT等大型语言模型点燃的革命，正在重塑我们探索未知的方式。

历史铭记的，或许不是最初的争议，而是那一行行由人机协作生成、并最终悄无声息通过编译验证的qed（证明完毕）。科研的未来，属于那些懂得如何与AI共舞的探索者。而对于我们每个人来说，学习并掌握如何使用这些工具，例如通过可靠的渠道获取ChatGPT官方中文版的使用体验，将是拥抱这个新时代的第一步。