智快网
快讯 行业 产业 汽车 科技 AI+ 热点

AI攻克79年数学难题:通用推理模型推翻经典猜想,奥特曼称感受复杂

2026-05-21来源:快讯编辑:瑞雪

数学界与人工智能领域同时迎来了一场震撼:一个通用推理模型成功攻克了困扰数学家长达79年的“平面单位距离猜想”。这一突破由OpenAI宣布,其内部研发的模型通过自主推导,推翻了匈牙利数学家保罗·厄多斯于1946年提出的这一几何难题,消息迅速引发全球学术圈的广泛讨论。

此次成果并非OpenAI首次尝试解决该问题。七个月前,其前副总裁曾宣称GPT-5找到了十个未解的厄多斯问题答案,但很快被揭露仅是复现了已有文献,引发同行嘲讽。为避免重蹈覆辙,OpenAI此次采取了更为严谨的态度:不仅发布了完整证明,还附上由四位顶尖数学家联署的验证论文,其中包括菲尔兹奖得主蒂莫西·高尔斯、普林斯顿大学教授诺加·阿隆等权威学者。这些专家独立审查后确认,模型的推导过程逻辑严密,结论成立。

“平面单位距离猜想”的核心问题看似简单:在平面上随机放置n个点时,最多能有多少对点之间的距离恰好为1?厄多斯猜测,最优解的构造方式类似于正方形网格,且单位距离对的数量增长速度不会显著超过线性。然而,这一猜想自提出以来,始终无人能证明或推翻。OpenAI的模型通过构造全新的点集构型,证明对于无穷多个n值,单位距离对的数量可达n的1+δ次方(δ为固定正数),直接否定了厄多斯的猜想。普林斯顿大学教授威尔·索温进一步精确计算出δ的具体值为0.014。

更令数学家惊讶的是,模型的突破口并非来自传统几何领域,而是运用了代数数论中的“无穷类域塔”和“戈洛德-沙法列维奇理论”。这些抽象工具通常用于研究整数扩展和因式分解,此前从未被应用于平面几何问题。诺加·阿隆评价道:“答案本身已足够令人意外,而其构造方式更是优雅而巧妙,展现了跨学科知识融合的巨大潜力。”

学术界对这一成果的反应极为热烈。蒂莫西·高尔斯在社交媒体上表示,这是“AI数学的里程碑”,并调侃数学家在阅读前需“确保自己坐着”。多伦多大学数论学家阿鲁尔·尚卡尔则指出,AI已不再局限于辅助工具角色,而是能够产生真正原创的数学思想。曾批评OpenAI此前误导行为的数学家托马斯·布鲁姆,此次也撰文称赞AI正在帮助人类探索数学领域的未知奇迹。

OpenAI强调,完成证明的模型并非专为数学设计,而是一个通用推理系统。这意味着其跨领域连接知识、发现非传统路径的能力,可能同样适用于物理学、生物学、材料科学等学科。公司公告同时指出,人类的判断力在科研中仍不可替代:AI可协助搜索、建议和验证,但选择重要问题、解读结果及决定研究方向的任务,仍需由人类完成。

谷歌再战智能眼镜赛道:汲取教训,以时尚设计引领消费级新潮流
安卓生态系统总裁萨米尔・萨马特在接受媒体采访时直言,Google Glass 失败的最大教训,是时尚优先于技术。Meta联合Ray-Ban、Oakley 推出的智能眼镜,凭借成熟时尚设计与轻量化体验,自 2…

2026-05-21

科创人工智能ETF汇添富午盘微涨0.16% 成交额近千万 重仓股表现分化
来源:新浪基金∞工作室 5月20日,截止午间收盘,科创人工智能ETF汇添富(589560)涨0.16%,报1.218元,成交额976.11万元。科创人工智能ETF汇添富(589560)重仓股方面,芯原股份截止…

2026-05-21

阿里云峰会“亮剑”:真武M890芯片登场,128卡超节点构筑Agent算力新高峰
阿里云正式发布磐久AL128超节点服务器,搭载平头哥首次亮相的自研训推一体AI芯片真武M890,搭配自研互联芯片ICN Switch1.0,单机柜128张AI芯片紧密耦合,组成一台“计算机”。 阿里这次在…

2026-05-21

小米YU7 GT纽北破纪录!央视点赞友商贺,中国汽车新里程碑
这个消息就是小米YU7 GT纽北成绩正式出炉,信息显示小米YU7 GT以7分34秒931的成绩,不仅刷新纽北SUV圈速纪录,还成为纽北最速的SUV车型。随后这个消息引来了全网的热议,很多友商都给小米发来了贺…

2026-05-21

Gemini Omni引领AI视频新变革:动动嘴就能剪视频,开启世界生成新纪元
后来产品团队希望它能接受图像参考(给一张你的脸,生成你在视频里),团队的做法是:在已经训练好的模型上,加一层条件输入。 真正让Omni变得耐人寻味的,是谷歌同时发布的另一件事——他们主动给这个模型套上了一些…

2026-05-21

阿里云峰会重磅发布Qwen3.7-Max 国产大模型性能跃升开启AI全能新纪元
千问3.7面向当下智能体(Agent)全新设计,实现了编程、推理等核心能力的持续突破,甚至可全自主完成35小时的超长程智能体复杂任务。千问3.7面向当下智能体(Agent)全新设计,实现了编程、推理等核心能力…

2026-05-21

国产模型新突破!阿里Qwen3.7-Max发布,35小时全自主完成复杂优化任务
Qwen3.7-Max面向智能体(Agent)场景全新设计,在多个核心维度实现突破。编程方面,在SWE-Pro、SWE-Multilingual等编程智能体测评中均取得领先,Terminal Bench …

2026-05-21