一篇最近在Hacker News上的帖子详细介绍了ChatGPT 5.2 Pro成功解决埃尔德什281数学问题，据Neelsomani在Twitter上报道。这一说法引发了讨论，最初人们对LLM生成的数学解法的可靠性表示怀疑，因为过去存在不准确的情况。 然而，著名数学家陶哲轩已经验证了该解法，并赞扬ChatGPT避免了常见的错误，例如不正确的极限互换——这是之前的LLM难以做到的。陶哲轩甚至将该结果添加到wiki中作为“第一部分”的成就，强调其明确的正确性。 这一事件引发了人们对人工智能在数学领域快速发展的能力的兴奋，表明许多小定理可能很快就能轻松解决。下一个主要挑战在于LLM是否能够超越解决现有问题，从而*生成*有用的数学抽象。