首页 游戏 软件 资讯 排行榜 专题
首页
科技数码
ChatGPT突破:全球首个独立证明数学猜想案例

ChatGPT突破:全球首个独立证明数学猜想案例

热心网友
43
转载
2026-03-31

快科技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将大幅加快数学猜想候选证明的生成速度,未来行业的核心瓶颈会转向人类验证环节,而语言模型同样有望在这一领域提供助力。

这项成果也标志着,大语言模型的能力边界已从辅助编程、文本创作,正式拓展至需要深度原创推理的理论数学研究领域。


来源:https://www.163.com/dy/article/KPC79O0R0511CPVM.html
免责声明: 游乐网为非赢利性网站,所展示的游戏/软件/文章内容均来自于互联网或第三方用户上传分享,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系youleyoucom@outlook.com。

相关攻略

惊呆了!HBO这部原创小短剧还挺猛
娱乐
惊呆了!HBO这部原创小短剧还挺猛

今年HBO Max的表现堪称现象级 上半年,平台接连推出《匹兹堡医护前线》与《DTF圣路易日记》两部爆款剧集。一部口碑稳居9分高位,另一部则空降全美热度榜首,成功拓宽了医疗纪实剧与黑色喜剧的类型边界。 然而,就在高歌猛进之际,HBO Max却悄然上线了一部备受瞩目的法语原创剧集。开播不久,其IMDb

热心网友
04.26
短剧拥抱AI,“拍得出”也要“讲得好”
娱乐
短剧拥抱AI,“拍得出”也要“讲得好”

来源:滚动播报(来源:中工网)2026年开春以来,AI视频生成技术持续迭代,为微短剧这一新兴业态打开了前所未有的想象空间。数据显示,今年微短剧春节档累计播放量近90亿次,其中AI短剧占比接近30%,

热心网友
04.07
ChatGPT突破:全球首个独立证明数学猜想案例
科技数码
ChatGPT突破:全球首个独立证明数学猜想案例

快科技3月31日消息,近日,比利时布鲁塞尔自由大学(VUB)数据分析实验室发布重磅研究成果,证实商用大型语言模型已具备独立生成原创数学证明的能力。OpenAI旗下ChatGPT-5 2(Thinki

热心网友
03.31
腾讯2026正能量创作者支持计划:专项流量扶持与权益详解
科技数码
腾讯2026正能量创作者支持计划:专项流量扶持与权益详解

IT之家 3 月 28 日消息,“微信珊瑚安全”公众号今日发文,腾讯公司为激励正能量创作者,制定推出《腾讯 2026 正能量创作者支持计划》,IT之家整理如下:专项流量扶持计划:推出“北极星计划”,

热心网友
03.28
全球首张处方!我国原创阿尔茨海默病新药落地应用
科技数码
全球首张处方!我国原创阿尔茨海默病新药落地应用

来源:科技日报◎ 科技日报记者 华凌记者27日从清华大学获悉,近日,首款丁肝治疗药物——立贝韦塔单抗注射液在北京友谊医院肝病中心开出全球首张处方。这款由清华大学生物医学交叉研究院教授李文辉团队主导研

热心网友
03.28

最新APP

宝宝过生日
宝宝过生日
应用辅助 04-07
台球世界
台球世界
体育竞技 04-07
解绳子
解绳子
休闲益智 04-07
骑兵冲突
骑兵冲突
棋牌策略 04-07
三国真龙传
三国真龙传
角色扮演 04-07

热门推荐

阿里云百炼记忆库解决AI多轮对话遗忘难题
业界动态
阿里云百炼记忆库解决AI多轮对话遗忘难题

2026年4月9日,阿里云旗下的AI开发平台“百炼”正式发布了名为“记忆库”的全新功能。这项功能的核心价值,在于为AI Agent赋予跨会话的长期记忆能力,旨在彻底解决多轮对话中信息丢失与遗忘的行业核心痛点。目前,该功能正处于限时免费公测阶段。官方性能数据显示,其在关键指标上表现突出:记忆检索性能大

热心网友
05.12
全链网30官方报价6.7946 最新行情分析与解读
web3.0
全链网30官方报价6.7946 最新行情分析与解读

今天外汇市场的表现,可以说是在平静中透着一丝韧性。北京时间下午四点半,在岸软妹币对美元汇率官方收盘价定格在6 7946。 这个数字背后有两个值得玩味的对比:一是比起前一个交易日的官方收盘价,小幅上扬了8个基点;二是相较于昨晚夜盘的收盘价,则回升了17个基点。虽然波动幅度不大,但这种日内低开后的企稳回

热心网友
05.12
北境墓碑全收集攻略 遥遥西土地图点位详解
游戏攻略
北境墓碑全收集攻略 遥遥西土地图点位详解

《遥遥西土》北境区域共有十个墓碑等待收集。首个墓碑位于地图北部悬崖下方,玩家需跳至崖底才能发现,其旁另有一座墓碑作为参照。具体位置与探索方法可参考相关视频攻略。

热心网友
05.12
归环好彩骰获取途径大全与快速入手方法
游戏攻略
归环好彩骰获取途径大全与快速入手方法

归环好彩骰”是游戏的核心机制,通过投掷骰子组合牌型获得奖励。它将叙事、战斗与成长深度整合,玩家的选择与骰点结果直接影响剧情走向和战斗效果。机制简单易上手,无时间压力,提供即时强反馈。游戏结合“万相卡”与角色流派,支持多样策略,平衡随机性,提升了内容探索深度与复用价值。

热心网友
05.12
植物大战僵尸抽卡重置版上线时间确定 开服日期与预约指南
游戏攻略
植物大战僵尸抽卡重置版上线时间确定 开服日期与预约指南

《植物大战僵尸》抽卡重置版已上线,核心玩法融合塔防与抽卡。游戏包含七阶卡池系统,顶级卡牌稀缺。新增超百种原创植物,僵尸行为更复杂,关卡设计多样。随机植物模式增加变数,roguelike元素提升重复可玩性。版本持续更新,社区活跃。

热心网友
05.12