比利时布鲁塞尔自由大学（VUB）近日公布研究结果称，OpenAI 的 ChatGPT-5.2（Thinking）已成功独立生成原创数学证明，破解由数学家 Ran 与 Teng 于 2024 年提出的未解猜想。这是商用大模型首次在理论数学领域实现独立推理与证明，被研究团队命名为“vibe-proving（氛围证明）”。实验显示，该模型历经 7 轮对话与 4 次自我迭代，自主完成逻辑框架与证明路径设计，人类研究者仅负责最终校验。VUB 教授 Vincent Ginis 表示，这项突破打破了“AI 无创造力”的传统认知，预计将推动数学研究范式转变，人类角色将从证明的“生产者”转向“验证者”，而理论验证流程的自动化或成为下一阶段研究焦点。
