荷兰名校VUB的教授Vincent Ginis 还有他的团队最近搞了一个大新闻，他们发现ChatGPT-5.2居然能把数学家Ran和Teng在2024年弄出来的那个数学猜想给解开了。这下可好了，商用的大语言模型（LLM）终于不再只是写文章或者编代码了，它们的逻辑严密性甚至能跟数学家比肩。这意味着我们或许很快就能进入一个全新的时代——“氛围证明”时代。 ChatGPT-5.2在这里面可太给力了，它完全是靠自己摸索出来的证明思路和逻辑框架，没有去网上抄现成的，这简直就是强无敌的原创推理能力。这次证明一共折腾了7轮对话和4个版本的自我迭代才弄出来。虽然最后还是要靠人来检查一遍逻辑对不对，但AI这推演速度实在太快了，让人类都有点措手不及。 最让人意外的是，以前总说AI只有归纳能力没创造力，现在看来这都是老黄历了。只要机器生成证明的门槛能降下来，理论数学的发展速度肯定能蹭蹭往上涨。以后大家再也不用愁找证明路径了，人类以后的活可能就剩下干校验这一件事了。等AI能大规模产出高质量的猜想证明时，如何高效地验证它们才是真正的技术难题。这次OpenAI的ChatGPT和比利时布鲁塞尔自由大学（VUB）的合作算是彻底把人们的偏见给打破了。大家都被这幅由AI生成、经过Midjourney授权的图片吸引住了目光。