ChatGPT-5.2 首次独立证明数学猜想，开启“氛围证明”时代近日，比利时布鲁塞尔自由大学（VUB）发布了一项足以载入 AI 史册的研究成果：商用大模型已具备独立生成原创数学证明的能力。实验显示，OpenAI 旗下的 ChatGPT 5.2 (Thinking) 成功破解了由数学家 Ran 与 Teng 在 2024 年提出的悬而未决的数学猜想。 图源备注：图片由AI生成，图片授权服务商Midjourney 这一突破…