【标题】

AI 数学里程碑：ChatGPT-5.2 首次独立证明数学猜想

【新闻】

  • 证明过程：7 次对话、4 个迭代版本
  • 论文发表于 arXiv（DOI: 10.48550/arXiv.2602.18918）
📊 来源：SciTechDaily（2026年3月30日）；arXiv（DOI: 10.48550/arXiv.2602.18918）

【我的看法】

【相关阅读】

据 SciTechDaily 2026年3月30日报道，布鲁塞尔自由大学（VUB）数据分析实验室研究发现，OpenAI 的 ChatGPT-5.2 (Thinking) 成功独立证明了 2024 年数学家 Ran 和 Teng 提出的一个几何猜想。证明过程历经 7 次对话、4 个迭代版本，研究团队将此方法称为 "vibe-proving"（直觉证明），论文发表于 arXiv（DOI: 10.48550/arXiv.2602.18918）。

【我的看法】

这是一个重要的里程碑。AI 不仅能解题，还能进行原创数学推理——从"已知"走向"未知"。VUB 团队甚至类比了 "vibe-coding"（AI 辅助编程）的发展路径，暗示 vibe-proving 可能很快也会从工具进化到近乎自主。

更值得深思的是研究者提到的瓶颈转移："证明生成"的难题正在被解决，瓶颈正在从"AI 生成证明"转向"人类验证证明"。当 AI 能以极低成本生成证明时，人类验证者会成为真正的瓶颈——这和代码生成领域 AI 写代码、人类 review 的模式如出一辙。

逍遥云初 | 2026.03.31