天脉资讯
财经快讯 价值公司 财经人物 IPO解读 热门赛道 经济解码 科技业界 文化艺术 消费零售 大燕公益 商业快讯

OpenAI模型破解80年数学难题 跨界融合开启人类探索未知新篇章

2026-06-01来源:快讯编辑:瑞雪

匈牙利数学家保罗·埃尔德什在1946年提出的“平面单位距离问题”近日迎来突破性进展。这项困扰数学界长达80年的难题,被OpenAI的人工智能模型以反直觉的方式攻克。埃尔德什最初的研究表明,当点以网格形式排列时,单位距离点对的数量会达到峰值,但他同时提出猜想:任何其他排列方式都不可能显著超越这一上限。然而,经过对海量可能性的探索,AI模型发现了比传统网格排列更优的解决方案,直接推翻了这一经典猜想。

该成果的证明过程极为复杂,即便经过精简的版本仍超过7.5万词,篇幅与《哈利·波特与魔法石》相当。这一突破性发现迅速引发数学界震动。法兰西学院教授、菲尔兹奖得主蒂莫西·高尔斯评价称,这是AI在数学领域的重要里程碑,“如果由人类撰写并提交至顶级期刊,我会立即建议发表”。他进一步指出,即便AI的智能水平不再提升,人类在数学求解领域的优势也已面临严峻挑战。

普林斯顿大学数学教授诺加·阿隆强调,AI完成了许多顶尖研究者多年未能实现的目标。负责维护埃尔德什问题网站的英国数学家托马斯·F·布鲁姆则撰文分析,AI的成功源于其能够持续探索人类认为“低效”的研究路径。他同时澄清,人类研究者仍深度参与了整个研究过程,包括问题定义、结果验证等关键环节。

OpenAI团队揭示,模型给出的解决方案极具颠覆性。传统数学家普遍默认埃尔德什猜想正确,因此长期致力于证明而非证伪。而AI不受既有认知框架限制,通过尝试大量非常规方向,最终在看似荒谬的路径中找到突破口。模型还创造性地将代数数论与离散几何这两个关联性极弱的领域结合,如同将马拉松与撑杆跳的技术原理融会贯通。

这一进展标志着AI数学能力的质的飞跃。仅在一年前,最先进的AI模型还难以应对基础数学问题,如今已能在国际数学奥林匹克竞赛中斩获金牌,甚至颠覆经典数学猜想。OpenAI研究员塞巴斯蒂安·布贝克坦言,虽然尚未看到能与人类历史上最伟大证明媲美的“天才火花”,但AI推动科学发现的能力已毋庸置疑。数学界正积极运用此次成果中的方法,尝试攻克其他长期悬而未决的难题。

AI新赛道崛起!李飞飞与Jeff Dean押注持续学习,让模型在真实场景中越用越聪明
它要干的一件事,是把Cursor闷声做了很久的那件事:让AI从用户的真实使用里持续变聪明,做成所有公司都能用的AI基础设施。他是公认的「强化学习之父」,与Andrew Barto共同开发了时序差分学习(te…

2026-06-01

国产AI新突破!MiniMax M3模型发布 具备前沿能力且开源效率大提升
MiniMax披露,在100万上下文规模下,M3单token计算量仅为上一代模型的约1/20,推理效率显著提升。MiniMax披露,在100万上下文规模下,M3单token计算量仅为上一代模型的约1/20,推…

2026-06-01

OpenAI成立机器人团队进军实体世界,战略转型背后有怎样的考量与挑战?
6月1日,OpenAI联合创始人Greg Brockman在X平台发文宣布,“OpenAI Robotics”团队正在快速推进,目标是“打造能在物理世界帮助人类的AI”,并公开招募全栈硬件、运营、系统及机器…

2026-06-01

桂海潮:从飞天航天员到科研先锋 探索空间具身智能机器人新领域
在大会上,荣获2026年“最美科技工作者”称号的北京航空航天大学教授桂海潮,分享了他近期的科研方向——空间具身智能机器人研究。70年来,中国航天从无到有,从弱向强,让像我这样的普通人也能飞上太空。”他期待在不…

2026-06-01

无人机风电叶片巡检平台:智能化系统如何实现高效安全运维革新
无人机风电叶片巡检平台,是一套集成无人机硬件、多模态传感、AI识别、云端数据管理的智能化运维系统,核心价值是替代人工高空作业、提升巡检效率与缺陷识别精度、降低风场运维成本。 要不要我把以上内容浓缩成一份可…

2026-06-01

英伟达与宇树科技携手,推出H2+人形机器人,共促行业创新发展
6月1日,英伟达首席执行官黄仁勋宣布,英伟达已与宇树科技合作,推出新一代人形机器人参考设计H2+,也被称为IsaacGR00T系统,以加速全球人形机器人行业创新。 英伟达提供“大脑”和算力 为这套系统提供算…

2026-06-01

星际荣耀SQX-3运载火箭:海上回收高精度导航系统无人机挂飞试验圆满成功
月 1 日消息,星际荣耀今日宣布,近日利用“星际归航”号海上回收船,在广东阳江海域圆满完成了SQX-3运载火箭海上回收高精度导航系统无人机挂飞试验,各项技术指标满足设计要求。 官方表示,此次试验的顺利完成,…

2026-06-01