近日，比利时布鲁塞尔自由大学（VUB）发布了一项足以载入 AI 史册的研究成果：商用大模型已具备独立生成原创数学证明的能力。实验显示，OpenAI 旗下的 ChatGPT-5.2 (Thinking)…