ChatGPT-5.2 独立验证数学理论，引领“氛围验证”新纪元

发布时间：2026-04-01 09:06:59 | 责任编辑：张毅 | 浏览量：4 次

近日，比利时布鲁塞尔自由大学（VUB）发布了一项足以载入 AI 史册的研究成果：商用大模型已具备独立生成原创数学证明的能力。实验显示，OpenAI 旗下的 ChatGPT-5.2 (Thinking) 成功破解了由数学家 Ran 与 Teng 在 2024 年提出的悬而未决的数学猜想。
这一突破标志着大语言模型（LLM）的边界正式超越了代码辅助与文本创作，跨入了需要极高逻辑严密性的理论数学领域。数学界对此反应强烈，认为这预示着科学发现的范式正在发生根本性变革。
研究团队将这种全新的科研模式命名为“vibe-proving（氛围证明）”，其灵感源自近期火爆的“氛围编程”。在整个证明过程中，ChatGPT 独立承担了证明路径的探索与核心逻辑框架的搭建，展现了超越数据组合的原创推理能力。
整个证明历经 7 轮对话交互与 4 个版本的自我迭代，最终形成了一套严谨的逻辑论证。尽管人类研究人员仍负责最后的校验工作，但 AI 表现出的推演效率远超人类数学家的预期。
VUB 教授 Vincent Ginis 指出，这项成果打破了“AI 只有归纳能力而无创造力”的固有偏见。随着 AI 生成数学证明的门槛降低，理论数学的研究速度有望得到指数级提升。
未来数学界的核心瓶颈将从“寻找证明路径”转向“逻辑正确性校验”。当 AI 能够大规模产出高质量的猜想候选证明时，如何高效、自动化地完成人类验证，将成为下一个技术争夺的高地。