AI国外资讯 2026-04-01 ChatGPT-5.2 首次独立证明数学猜想，开启"氛围证明"时代 近日，比利时布鲁塞尔自由大学（VUB）发布了一项足以载入 AI 史册的研究成果：商用大模型已具备独立生成原创数学证明的 ... 查看全文
