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