2026年2月21日，比利时布鲁塞尔自由大学（VUB）研究团队发布重磅成果，ChatGPT-5.2成功破解数学家Ran与Teng在2024年提出的悬而未决的数学猜想，并催生全新AI推理方法“vibe-proving”。研究通过7轮对话交互生成4版迭代证明，ChatGPT主导路径探索与结构搭建，人类负责逻辑验证。这一突破打破‘AI创造力仅限于重组训练数据’的传统观点，标志着大语言模型能力已拓展至原创数学推理领域。团队强调，人类验证仍不可或缺，未来瓶颈或转向人类校验环节，而AI有望继续助力。这项成果预示AI将加速数学理论探索进程。

标题：陶哲轩转发！DeepMind开源「AI数学证明标准习题集」 DeepMind最新开源了形式化数学猜想库，这一资源集合了经典数学猜想的形式化表述，如解析数论中的朗道问题。此外，库中提供代码函数，便于将自然语言的数学猜想转化为形式化表述。 陶哲轩曾利用Lean工具形式化证明PFR猜想，其第一步正是...