重磅！著名数学家陶哲轩近日表示，一个长期未解的埃尔德什问题（第 728 题），已在少量人类反馈的情况下，由 AI （ChatGPT）基本自主完成了解答。

陶哲轩指出，以往一些“AI 解出数学题”的案例，事后往往会发现结论早已存在于学术文献中。但这一次的情况有所不同：目前来看，该结果并未直接复制任何已有论文，尽管事后确实找到了采用相似方法的相关研究。

这一问题本身也具有特殊性。埃尔德什当年的原始表述存在一定模糊甚至错误之处，直到最近几个月，数学社区才逐步还原出更符合其本意的问题版本。这也解释了为何此前长期未能在文献中找到明确解答。

在研究过程中，团队使用了包括 OpenAI 的 ChatGPT 在内的人工智能工具，并结合了形式化证明系统。陶哲轩介绍，ChatGPT 能够生成初步的数学论证，在人类研究者的反馈下不断修订，并通过形式化证明工具（如 Lean）对其中的细小错误进行自动修补和验证。

经验证的形式化证明随后被重新转化为人类可读的数学文本，使得不同参与者可以在较短时间内，围绕同一数学结果生成多个版本的说明和阐释。

陶哲轩强调，真正值得关注的并非“AI 解出了这道题”，而是 AI 已开始展现出快速撰写、重写和调整数学论证的能力，能够根据不同严谨程度和读者需求生成多种表述形式。

他认为，这预示着数学研究方式可能正在发生结构性变化。未来，一个数学成果不再只对应一篇固定不变的论文，而是可能伴随多个并行存在、持续演化的写作版本，其核心由形式化验证作为保障。

陶哲轩同时表示，他仍然更倾向于由人类完成最终、正式的论文写作。但可以预见的是，像 ChatGPT 这样的人工智能系统，正在并将继续在数学的写作、验证和传播中扮演越来越重要的角色。