谷歌AI新突破：自主解决9个Erdős数学难题，成本仅数百美元
创始人
2026-05-26 13:38:51
0次

近日，谷歌DeepMind推出了一款名为AlphaProofNexus的人工智能工具，它结合了大型语言模型（LLM）和形式化验证系统Lean，以自主解决数学问题。AlphaProofNexus在353个开放的Erdős问题中成功解决了9个，其中包括两个悬而未决56年的问题。Erdős问题是由匈牙利数学家保罗·埃尔德什提出的一系列数学猜想和问题，覆盖了组合数学、数论、图论和几何等多个领域。

AlphaProofNexus还在OEIS（整数序列在线百科全书）的492个开放猜想中证明了44个，并解决了一个存在15年的Hilbert函数问题，同时改进了凸优化中的已知界限。每个问题的推理成本仅为数百美元。AlphaProofNexus由四个复杂度递增的AI智能体组成，从仅依赖Gemini3.1Pro与Lean编译器循环交互的AgentA，到整合了上述能力的AgentD。研究团队发现，即使是最简单的AgentA也能证明这9个已解问题，尽管在最难的题目上花费更高。

研究团队认为，这一成果反映出底层模型能力的持续提升以及编译器反馈对LLM推理的“锚定”作用越来越强。这项技术的发展不仅展示了AI在数学研究中的潜力，也预示着未来可能在更广泛的领域内应用AI进行形式化证明和问题解决。

上一篇：问界M9携140项创新技术亮相“十四五”成就展，340万观众见证中国制造辉煌

下一篇：没有了

相关内容

热门资讯

谷歌AI新突破：自主解决9个E... 近日，谷歌DeepMind推出了一款名为AlphaProofNexus的人工智能工具，它结合了大型语...
问界M9携140项创新技术亮相... 5月26日，赛力斯集团董事、副总裁康波宣布，中国制造“十四五”成就展即将结束，问界M9作为唯一入选的...
中美元首会晤引发国际社会高度关... 五月十六日，在美国加利福尼亚州圣迭戈，选手们参加龙舟节。邱晨摄（新华社发）应国家主席习近平邀请，美国...
文化中国行丨一脉茶香贯古今 东... 中国是茶的故乡，茶文化源远流长。六大茶类、2000多种名优茶品、44项茶相关国家级非遗蕴藏着礼仪之邦...
科技有温度、文化有新生，在文博... 走入位于第二十二届文博会15号馆的广东展团，“勇立潮头”主题大字率先映入眼帘，笔力遒劲、气势昂扬；一...
因对伊战事消耗弹药库存 美国推... 据知情人士24日透露，美国国防部长赫格塞思已正式通知日本防卫大臣小泉进次郎，由于五角大楼需要优先补充...
茂名、化州：扛起助农“硬担当”... 茂名化州耀明糖厂已累计收购果蔗超10万吨，当地政府成立专班为其护航从今年4月中旬开始，广东茂名化州耀...
以三重变化、全新逻辑，交出传统... 5月25日，第二十二届文博会圆满收官。恰逢“十五五”规划开局之年与APEC会议深圳举办之年，16万平...
长钱、硬钱，为何集体加码广东？ 文/羊城晚报全媒体记者 莫谨榕图/羊城晚报全媒体记者 邓鼎园长钱硬钱，为何集体加码广东？在广东省战略...
嘉禾望岗爆火之后，音乐人吴欢把... “广州是我的福地。”由海来阿木演唱的歌曲《嘉禾望岗》刷屏之后，歌曲共同创作者、编曲及制作人吴欢在接受...
创新服务提质效，广州这个基层就... 文/羊城晚报全媒体记者 周聪图/通讯员供图累计服务辖区1000余人次，建立完善求职人员动态台账150...
广州博士后成果转化效益已达22... 文/羊城晚报全媒体记者 江皓轩 通讯员 南宣图/通讯员提供2026年5月24日至25日，“才汇湾区·...
穿越伊犁｜隧洞开山成坦途 昭温公路北起新疆伊犁昭苏县南至阿克苏温宿县全长232.7公里是国道G219线穿越天山的核心路段这是在...
老屋“复活”、粮仓“生金”，广... “沉睡”的老屋、闲置的粮仓、沉寂的古村落等这些曾被视为发展“包袱”的乡村闲置资产，如今在广东正通过多...
华为鸿蒙智行问界M9实拍曝光，... 今日，鸿蒙智行全新一代问界M9汽车确认将搭载华为途灵龙行平台。此前，官方发布的宣传视频因AI标注提醒...
日系车企在中国市场的滑铁卢：市... 5月26日，日本车企在中国市场遭遇重大挑战，市场份额从2018年的42%急剧下降至2025年的18%...
燃油车价格战！豪华品牌降价超六... 近日，国内燃油车市场出现大规模降价促销现象，涉及多个品牌和车型。一线豪华品牌如奔驰、奥迪等主销车型降...
如何正确使用救生装备 这份安全... 夏日炎炎水上娱乐成了消暑首选桨板冲浪、浮排躺平、泳池戏水……欢乐背后却藏着被忽视的致命风险救生衣的“...
从待业手艺人到技艺传习人：终身... 文/羊城晚报全媒体记者 周聪终身学习是赋能就业、点亮匠心的持久动能。来自广州市越秀区的失业人员陈女士...
“知产”变“资产”！广州增城区... 文/羊城晚报全媒体记者 马灿 通讯员 增融媒图/通讯员提供今年以来，广州增城区联合广州农村商业银行等...