ChatGPT首次独立验证数学猜测，研究突破引学界热议
3月31日消息，近日，比利时布鲁塞尔自由大学（VUB）数据分析实验室发布重磅研究成果，证实商用大型语言模型已具备独立生成原创数学证明的能力。
免费影视、动漫、音乐、游戏、小说资源长期稳定更新！ 👉 点此立即查看 👈
OpenAI旗下ChatGPT-5.2(Thinking)成功破解了一项此前悬而未决的数学猜想，同时催生了名为“vibe-proving”的全新AI推理方法，相关预印本论文已于2026年2月21日发表在arXiv平台。
此次研究聚焦的核心命题，是数学家Ran与Teng在2024年提出的一项数学猜想。在数学领域，猜想是基于规律与重复验证被认为成立，但尚未经过严谨形式化证明的命题，只有完成完整有效的逻辑论证，猜想才能正式升格为定理。
研究团队介绍，整个证明过程历经7轮与ChatGPT的对话交互，形成了4版逐步迭代完善的论证版本。其中，ChatGPT核心承担了证明路径探索、核心结构搭建的工作，人类研究人员则全程把控推理的正确性与逻辑完整性。
研究团队将这种大模型辅助梳理、探索复杂理论构想的模式，命名为“vibe-proving”，并提出这一方法有望复刻AI辅助编程（vibe-coding）的快速发展路径，从基础工具快速向近自动化的理论探索演进。
“此前很多人认为，AI系统的创造力本质上只能局限于对训练数据的重新组合，我们的研究恰好打破了这一误解。”VUB教授VincentGinis表示。参与研究的博士后研究员BrechtVerbeken也坦言，虽早已预判ChatGPT能助力数学难题证明，但其实际表现出的效率仍远超预期。
尽管AI在此次证明中发挥了核心作用，研究团队仍反复强调，人类的参与与最终验证不可或缺，尤其是补全证明逻辑缺口、完成最终严谨校验的环节。
VUB教授AndresAlgaba指出，AI将大幅加快数学猜想候选证明的生成速度，未来行业的核心瓶颈会转向人类验证环节，而语言模型同样有望在这一领域提供助力。
这项成果也标志着，大语言模型的能力边界已从辅助编程、文本创作，正式拓展至需要深度原创推理的理论数学研究领域。
相关攻略
快科技3月31日消息，近日，比利时布鲁塞尔自由大学（VUB）数据分析实验室发布重磅研究成果，证实商用大型语言模型已具备独立生成原创数学证明的能力。OpenAI旗下ChatGPT-5 2(Thinki
3月31日消息，近日，比利时布鲁塞尔自由大学（VUB）数据分析实验室发布重磅研究成果，证实商用大型语言模型已具备独立生成原创数学证明的能力。OpenAI旗下ChatGPT-5 2(Thinking)
Sid 这个案例最震撼我的，不是“AI 参与抗癌”这几个字本身。而是它让我第一次很清楚地感觉到：AI 真正的用途，可能从来都不是回答问题。而是进入那些原本只有专家团队才能推进的复杂现实，把前面的认知
IT之家 3 月 29 日消息，彭博社的马克 · 古尔曼在今天的《Power On》通讯中详细地讨论了苹果即将到来的人工智能计划，将于 6 月 8 日（北京时间 6 月 9 日）在全球开发者大会上揭
快科技3月29日消息，今日，宇树科技创始人、CEO王兴兴亮相2026中国网络媒体论坛，以《当机器人刷屏》为题发表演讲。现场他提到具身智能还没有到临界点，并个人定义了具身智能的 "GPT时刻 "。带一台机
热门专题
热门推荐
角色与光锥适配深度解析 为队伍挑选合适的光锥，往往能起到画龙点睛的作用。今天，我们就来深入聊聊几款功能各异的光锥，看看它们如何与特定命途的角色产生化学反应。 酣战如始 1 属性与适配角色：作为同谐命途的光锥，其核心属性集中在速度与能量恢复上。这无疑是那些专注于辅助队友、提供团队增益角色的优质选择。
什么是对冲？ 加密货币市场的价格变化，向来以快速剧烈著称。上午还在上涨的资产，下午就可能面临回调。在这种高波动的环境下，交易者们自然会寻求一种方法来保护自己的资金免受冲击。这种方法就是对冲——一种旨在降低风险、提升投资组合稳定性的核心策略。简单来说，对冲的核心逻辑在于：当你持有的主要加密货币资产价值
荣耀平板PC化升级计划公布，将带来PC交互、PC级应用支持等特性 三月十号，荣耀的一场重磅发布会，揭开了其平板产品线战略升级的序幕。在荣耀Magic V6旗舰新品发布会后，荣耀终端股份有限公司全场景产品线的负责人，@荣耀潇哥，进一步分享了一项备受关注的“平板PC化升级计划”。 在分享中，@荣耀潇哥清
5 分钟充好，9 分钟充饱，比亚迪闪充补上新能源转型最后一块拼图 “没有人比我们比亚迪更懂电池。”这句在发布会上掷地有声的口号，背后是实打实的技术突破。前不久的比亚迪“闪充中国改变世界”发布会上，王传福总裁正式揭晓了第二代刀片电池与配套的闪充技术，一组数据瞬间引爆了行业： 从10%到70%电量，只需
IT之家 3 月 31 日消息，OPPO K15 Pro 系列手机已官宣将于明日 14:30 正式发布。IT之家注意到，OPPO K15 Pro 手机已现身正式，并公布了核心配置信息，IT之家附如下