最新的大语言模型在数学领域取得了突破性进展，已能独立解决高难度数学猜想。这一发现不仅验证了AI强大的逻辑推理能力，更预示着机器智能正从辅助工具向知识探索的参与者转变，为解决人类长期悬而未决的数学问题开辟了新路径。
智能速览
GPT 5.2展现出比前代更强的数学推理能力，能独立给出完整证明。
AI已协助解决了11个厄尔德什数学猜想，占近期 solved 问题的大部分。
数学家陶哲轩认为AI适合系统性地解决“长尾”数学问题。
像Aristotle这样的AI工具正在加速数学形式化验证过程。
顶尖数学家开始认真使用并认可AI工具的研究价值。
精华内容
从一次意外测试到见证AI独立证明数学猜想，大语言模型正在悄然重塑数学研究的边界，其能力已超出了许多人的预期。
GPT 5.2的数学飞跃
软件工程师Neel Somani在对OpenAI新模型的测试中，意外发现其数学能力的显著提升。模型在15分钟内便为一个复杂数学问题给出了完整且正确的解答，其过程熟练运用了勒让德公式、贝特兰定理等专业数学公理。更有趣的是，该模型不仅找到了与哈佛数学家相似的解答思路，还给出了对传奇数学家保罗·厄尔德什问题版本的更完整证明。这一表现被形容为“在数学推理方面明显比以往版本更熟练”，标志着AI在处理开放性数学问题上的前沿界限向前推进。
攻克厄尔德什猜想
保罗·厄尔德什提出的1000多个数学猜想，已成为检验AI数学能力的试金石。自圣诞节以来，厄尔德什问题集网站上已有15个问题从“开放”转为“已解决”，其中11个解答明确指出有AI模型参与。数学家陶哲轩的统计更为严谨，他指出AI模型在8个不同问题上取得了有意义的自主进展，并在另外6个案例中通过定位和整合先前研究取得突破。这一系列成果表明，AI已不再是实验室里的概念，而是能够实际贡献研究成果的强大力量。
形式化工具的助力
AI在数学领域的成功，离不开形式化工具的发展。形式化是一项劳动密集型任务，旨在让数学推理更容易被验证和扩展。微软研究院开发的开源“证明助手”Lean，已成为该领域的标准工具之一。而新一代AI工具，如Harmonic的Aristotle，则承诺将大部分形式化工作自动化，极大地降低了验证门槛。这种结合使得复杂的数学证明可以被快速、准确地检验，为AI探索更广阔的数学领域提供了坚实的技术支撑。
数学界的展望
面对AI的崛起，数学界的反应是审慎而积极的。陶哲轩推测，AI的可扩展性使其特别适合系统性地攻克那些“长尾”的、鲜为人知的厄尔德什问题，其中许多问题实际上存在直接的解答路径。他认为，未来许多较简单的厄尔德什问题将更可能由纯AI方法解决。Harmonic创始人Tudor Achim则更看重数学家们对AI工具的接纳，认为当那些需要保护声誉的顶尖教授们开始使用这些工具时，便是对其价值的最好证明。
