AI又打破了一道过去被认为不可能跨越的门坎。比利时布鲁塞尔自由大学的研究团队近日发表了一项令学界震惊的成果：OpenAI的ChatGPT-5.2（Thinking）模型，在人类研究员的协作下，成功完成了一项悬而未决数学猜想的原创证明，相关预印本已于今年2月在arXiv发表。

打开网易新闻 查看精彩图片

这项猜想由数学家Ran与Teng于2024年提出。在数学领域，「猜想」是指有规律可循、反复验证后被认为成立，但尚未完成严格逻辑论证的命题，只有通过完整推导才能升格为定理。这次整个证明过程历经七轮对话，最终形成四个版本的论证。其中ChatGPT负责最困难的部分，包括探索证明路径和搭建核心论证结构，人类研究员则全程把关逻辑的正确性与完整性。

研究团队将这种AI辅助探索复杂数学理论的新模式命名为「vibe-proving」，模拟于近年快速崛起的「vibe-coding」。教授Vincent Ginis表示，过去许多人认为AI的创造力本质上只是对训练资料的重组，这次研究彻底打破了这个迷思。博士后研究员Brecht Verbeken也说，虽然团队预期AI能有所贡献，但它实际展现出的效率依然远超预期。另一位教授Andres Algaba则指出，未来数学界的核心瓶颈可能从「想出证明」转移到「人类验证」这个环节。