谷歌AI攻克数学难题，通用智能还有多远？
虽然AI在数学领域战胜了人类，但数学家们依然保住了饭碗。究其原因，是因为AI擅长的是“计算”，而非真正的“理解”。据WIO News消息，谷歌AI近期攻克了一个存在数十年的数学难题，引起了业界的震动。不过，DeepMind的CEO哈萨比斯也指出，通用人工智能（AGI）距离我们依然很远。这既是AI科研的一大进展，也是对其能力边界的深刻警醒。01 AI究竟证明了什么谷歌AI此次攻克的是组合几何学中的“Erdős 单位距离问题”——即平面上n个点之间恰好相距1个单位的点对有多少。这是数学界的经典难题，困扰了数学
328 | AI 是未来曙光还是远古遗物？
如今人们常将人工智能看作崭新时代的产物，是人类智慧的巅峰之作，正以前所未有的步伐重塑世界格局。在这种观念下，AI 显然属于未来。但是，若我们大胆翻转这一视角，一个既令人不安又充满魅力的猜想便会浮现：人工智能，或许并非未来的希望之光，而是深藏于时间长河中的历史遗存？并非我们在创造它，而是我们在唤醒它。这一设想初听似科幻小说，但历史与科学的细微信号，正以低语般的方式暗示着这种可能性。1901 年，在希腊安提基特拉岛附近的一艘古罗马沉船中，潜水员发现了一个锈蚀的青铜装置，即“安提基特拉机械”。起初无人重视，直到
AI周报|Google I/O发布百项更新，OpenAI模型推翻几何猜想
AI WEEKLY · 05月18日—05月24日2026年05月18日—24日 | 饺子的旷野" 注：本周 7 天素材中 5/24 一份缺失，其余 6 天 digest 完整，已用 WebSearch 补充全周融资/监管/产品/并购摘要。"注：本周 7 天素材中 5/24 一份缺失，其余 6 天 digest 完整，已用 WebSearch 补充全周融资/监管/产品/并购摘要。· · ·一本周头条Google 在 I/O 2026 大会上集中推出了百项产品与模型举措。重点聚焦三项：全新模
百元成本破解80年数学悬案：AI正在重塑学术研究规则
近期，OpenAI 公布了一则令数学界为之震动的研究成果。其通用推理模型独立推翻了一个悬而未决近八十年的著名猜想——Erdős 平面单位距离问题。这不是辅助人类完成的，也不是检索了已有文献，而是完全自主推理得出的结论。菲尔兹奖得主 Tim Gollars 评价道："若这篇论文以人类名义投向《数学年鉴》，我会毫不犹豫支持发表。"随后 Ethan Mollick 进行了一番测算。基于公开的大模型推理成本数据，解决这个八十年难题所耗费的资源为：电力 0.6–6.3 千瓦时（相当于电动汽车行驶数英里），水资源 3
AI 攻克 79 年数学悬案：OpenAI 此次是突破还是重演？
5 月 21 日，OpenAI 投下了一枚重磅炸弹。并非 GPT-5，亦非 Sora，也非那些炫目的多模态大模型——而是一款通用推理模型，它悄无声息地破解了一道困扰数学界长达 79 载的几何谜题。平面单位距离猜想，即 Erdős Unit Distance Problem，由匈牙利数学巨匠保罗·厄多斯于 1946 年提出，至今无人能解。直至昨日，一位 AI 宣称：我破解了。OpenAI 首席执行官山姆·奥特曼在 X 平台转发了此消息，并附言引人遐想："心情很复杂。"复杂？我阅后的感受同样错
AI 终结 80 年几何猜想，菲尔兹奖得主惊叹：数学新纪元
2026 年 5 月 20 日，OpenAI 公布了一项令数学与人工智能领域为之震动的新发现：其内部的一款通用推理模型，独立证明并证伪了一个存续近八十载的组合几何核心猜想——平面单位距离难题（Planar Unit Distance Problem）。这并非 AI 在博弈游戏中胜过人类，也非辅助数学家进行运算。这是 AI 首次独立攻克一个公开的、位于数学核心领域的未解之谜。普林斯顿大学知名组合数学家 Noga Alon 评述道："这是 Erdős 钟爱的数学谜题之一，所有钻研组合几何的学者都曾深思
耗时80年的几何猜想被AI攻破：关键不在于计算速度
整整80年！一道几何学难题从提出到被破解，经历了如此漫长的岁月。1946年，数学家保罗·埃尔德什提出了一个经典的几何学假设：在平面上任意放置 n 个点，其中任意两点间距离恰好为 1 的配对数量，其最大值究竟是多少？这就是著名的"埃尔德什单位距离问题"。在随后的80年间，众多数学家尝试突破该假设所设定的数量上限，始终未能获得实质性进展。2026年5月20日，OpenAI官方宣布其团队研发的通用模型，独立发现并纠正了这一经典假设中关于上限的论证缺陷。按照OpenAI的说法，这是其模型首次独立完成数学领域的公开
AI模型颠覆数学猜想
人工智能首次推翻离散几何核心猜想，数学界迎来"iPhone时刻"5月21日，OpenAI发布重要研究，宣布其最新AI系统成功推翻了离散几何领域的一个核心猜想——"埃尔德什-法尔廷斯覆盖猜想"的某个推广版本。这个猜想自1960年提出以来，已经困扰了数学界60多年。全球顶尖数学家曾尝试各种方法证明或证伪，均未成功。如今，一个AI系统在48小时内完成了这项工作。数学界震动了。著名数学家陶哲轩在社交媒体上发文："这是数学史上的iPhone时刻——AI不仅能辅助证明，还能发现
AI圈大事件：国产模型突破、巨头IPO在即、行业收入飙升
01 千问3.7-Max亮相：面向Agent时代的基座模型阿里千问推出全新旗舰模型Qwen3.7-Max，定位为Agent时代的全能基础模型。该模型在编程、通用Agent及复杂推理等测试中表现优异，在35小时、1158次工具调用的自主优化实验中，实现了10倍的几何平均加速。它原生适配Claude Code、OpenClaw等主流智能体框架，支持MCP集成与多智能体协作，即将通过阿里云百炼API上线服务。02 OpenAI模型突破性证明80年数学猜想OpenAI宣布其内部通用推理模型成功解决了数学家埃尔德什
人工智能突破80年数学难题 单位距离问题终被攻克
OpenAI 研发的通用推理模型成功破解了困扰学界八十载的"单位距离问题"，彻底否定了离散几何领域的这一核心猜想。这被视为人工智能驱动数学研究进入崭新阶段的重要标志。试想你在无限广阔的平面上分布若干点。任意两个点之间都存在一定距离，其中部分点对之间的距离恰好为 1（即"单位距离"）。核心问题在于：究竟能够形成多少对距离恰好为 1 的点？这个问题看似直白，实则蕴含极深的数学内涵。Brass、Moser 和 Pach 在 2005 年推出的《离散几何研究问题》一书中，将其称为"组合几何中最负盛名（也最易阐释）
张益唐谈AI：未解素数难题，却擅长过度赞誉
5月17日，2026搜狐科技年度论坛在北京召开。来自科学界、学术界和产业界的近30位嘉宾围绕基础科学与人工智能议题展开深入探讨。论坛期间，国际著名数学家张益唐发表了题为《从孪生素数到零点猜想：近年基础数学的前沿突破》的主题演讲。据“搜狐科技”微信公众号报道，张益唐首先阐述了孪生素数的核心概念。他指出：“解析数论是一门高度抽象的数学学科，但在实际操作中，它与实验科学颇为相似。研究对象是数字或函数等与算术相关的内容。”谈及AI对孪生素数研究的影响，张益唐表示，目前AI在数论或经典解析数论问题上尚显无力，但其能
AI面对黎曼猜想：它还会在哪些地方绊倒
摘要 黎曼猜想（RH）被普遍视为数学史上最重要的悬而未决难题之一。一个半世纪过去，它依旧让所有证明路线无功而返。随着人工智能逐步走入数学推理：能解竞赛题、能做复杂定理的检验、甚至能生成新的猜想——一个顺理成章的追问出现了：AI有没有可能证明黎曼猜想？若有，又需要满足哪些前提？要回答它，我们不得不正视当下AI的短板、数学发现究竟依赖什么、形式化验证在其中扮演的作用，以及在证明能够被“认证”为无误之前必须搭建的巨型知识支架。下面将从三个互相缠绕的方向拆解：当前AI欠缺的关键能力、把解析数论搬进形式系统的浩大工