数学中国

标题: 一个摆了 57 年的数学题，被腾讯的 AI 智能体解开了 [打印本页]

作者: luyuanhong 时间: 2026-8-10 00:35
标题: 一个摆了 57 年的数学题，被腾讯的 AI 智能体解开了
一个摆了 57 年的数学题，被腾讯的 AI 智能体解开了

原创虚拟新边界虚拟新边界 2026 年 7 月 31 日 15:08 北京

[attach]168255[/attach]
卡了人类数学家 57 年的一道题，被一个 AI 研究智能体解开了。—— 虚拟新边界

你以为 AI 最拿手的还是写文案、画画、陪聊？

最近腾讯混元干了一件让数学圈有点坐不住的事：它用一个叫 Hyra 的“研究智能体”，解开了一道从 1969 年挂到今天、悬了 57 年的数学难题。

而且不是“算个近似值”那种糊弄，是给出了带形式化证明的真答案——机器能逐行检查、挑不出毛病的那种。

这道“ 57 年难题”到底在问啥

先别被“数学难题”四个字吓跑，这题的设定其实挺好懂。

想象你有一袋子整数，比如 {1, 3, 5} 。

把它们两两相加，能得到哪些数？1+1=2 、1+3=4 、3+5=8 …… 这些结果凑成一个新集合，叫 A+A 。

把它们两两相减呢？1-3=-2 、5-1=4 …… 又凑成一个新集合，叫 A-A 。

问题来了：一个集合的“加法结果”和“减法结果”，数量能差多远？

直觉上，加法和减法差不多对称，结果数应该也差不多。但数学家从 1969 年就开始琢磨：有没有一种特殊的数字组合，能让“加出来的数”比“减出来的数”多出一大截？多出多少倍是有上限的？

[attach]168256[/attach]

人类卡了半个世纪，最好只摸到 1.1

这道题属于“加性组合”这个数学分支，听着冷门，其实跟密码学、信号处理都沾边。

但关键是——难。

半个多世纪里，人类能手工构造出的最好例子，加法结果和减法结果的比值，只比 1.1 多一点点。也就是说，大家折腾了几十年，加法集合最多也就比减法集合“胖” 10% 出头，怎么也拉不开。

数学家普遍怀疑：这个比值有个天花板，但天花板到底是多少，没人证出来。

腾讯怎么把它破了：一个会做研究的 AI

这次出手的是腾讯混元的 Hyra ——不是普通的聊天模型，而是一个“研究智能体”。你可以把它理解成一个会自动查资料、试例子、推导、再把自己推导过程写成可验证证明的“ AI 研究员”。

它背后跑的是腾讯自家的 Hy3 模型。

Hyra 干的事是：找出一个整数集合 A，让 | A+A | 和 | A-A | 的比值精确等于 2 ——也就是“加出来的数”正好是“减出来的数”的两倍。

更狠的是，它不光给出了这个集合，还顺手把“ 2 就是天花板”这件事证明出来了：你想让比值超过 2 ？不可能，数学上不存在这样的集合。

而且这个证明是形式化的——已经公开，可以用证明助手（类似给数学写代码的工具）逐行机器校验。不是“我觉得对”，是“机器验过对”。

[attach]168257[/attach]

这事真正吓人的地方

如果只当八卦看，就是“腾讯又发论文了”。

但换个角度想：这道题，是人类顶尖数学脑子卡了 57 年的硬骨头。现在一个 AI 智能体，自己找构造、自己写证明、还自己把上限定死。

这说明 AI 现在不只是在“算你给的题”，它开始能做原创性的数学研究了——提出构造、发现规律、给出严格证明。这一步，比“写篇通顺的文章”难得多，也离“替代人类研究者”近得多。

[attach]168258[/attach]

写在最后：跟你有什么关系

你可能会说：数学题跟我一个普通人有什么关系。

关系在这：今天 AI 能替你写周报、画图、写代码；明天像 Hyra 这样的“研究型 AI ”，就能替科学家跑实验、替工程师找方案、替你把一个复杂问题拆到根上。

AI 的边界，正在从“执行指令”往“主动探索未知”挪。这道题被解开，是个很具体的信号：以后你手里的 AI 工具，会越来越像“会自己琢磨的同事”，而不只是“听话的打字机”。

腾讯这家中国公司跑在了前面，挺好。但更值得盯的，是这类“会研究的 AI ”接下来还会撬动哪些领域。

虚拟新边界

作者: 时空伴随者 时间: 2026-8-11 12:55
假设A是有限素数集，A+A和A-A不就和哥猜和孪猜有关吗！Hyra看来和两猜的研究很接近了。

欢迎光临数学中国 (http://www.mathchina.com/bbs/)