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