.png)
2026年2月21日，比利时布鲁塞尔自由大学（VUB）研究团队发布重磅成果，ChatGPT-5.2成功破解数学家Ran与Teng在2024年提出的悬而未决的数学猜想，并催生全新AI推理方法“vibe-proving”。研究通过7轮对话交互生成4版迭代证明，ChatGPT主导路径探索与结构搭建，人类负责逻辑验证。这一突破打破‘AI创造力仅限于重组训练数据’的传统观点，标志着大语言模型能力已拓展至原创数学推理领域。团队强调，人类验证仍不可或缺，未来瓶颈或转向人类校验环节，而AI有望继续助力。这项成果预示AI将加速数学理论探索进程。
原文链接
本文链接：https://kx.umi6.com/article/34317.html
转载请注明文章出处
分享至
打开微信扫一扫
内容投诉
生成图片
.png "34317")
相关推荐
.png)
换一换
OpenAI ChatGPT 将引入广告“供养”AGI，奥尔特曼承诺不干扰 AI 答案生成
2026-01-17 10:22:14
OpenAI 上线富文本编辑，让你像用 Word 一样处理 ChatGPT 生成内容
2025-12-26 11:34:24
OpenAI的「红色警报」
2025-12-03 14:21:25
奥尔特曼称 ChatGPT 根除长破折号标点“顽疾”，用户可控 AI 输出风格
2025-11-15 15:57:34
ChatGPT月活份额首次跌破50% 谷歌、Anthropic快速瓜分市场
2026-06-17 15:44:49
加拿大校园枪击案枪手作案数月前曾与人工智能发生涉枪支暴力对话
2026-02-22 05:13:55
刚刚，ChatGPT免费模型升级了：幻觉砍半/记忆更强/回答更简洁
2026-05-06 09:07:41
17岁高中辍学，靠ChatGPT手把手教成OpenAI科学家
2025-11-30 12:05:51
AI做日本高考题9科得满分
2026-01-20 22:34:54
菲尔兹奖得主：AI现在主要靠「抬杠」突破重大数学猜想
2026-08-17 17:07:49
OpenAI准备在本周推出更新版聊天模型
2026-02-09 21:33:55
难上热搜的高考数学，我拿ChatGPT和豆包PK了一把！
2026-06-08 17:37:12
OpenAI 回应 ChatGPT 出现广告：平台 95% 是免费用户，会坚守一些原则
2026-01-21 13:13:21
761 文章
879443 浏览
24小时热文
更多
-
2026-08-17 22:19:10 -
2026-08-17 19:14:29
-
2026-08-17 18:13:27
