腾讯混元科研智能体Hyra

一道数学题，人类数学家想了50年没解出来。

AI只用了24小时。

不是标题党。腾讯混元的科研智能体Hyra，上个月真的干成了这件事。加法组合学里的”和差集”问题，50年没人能推进到最优，Hyra一把推到了理论极限值2。

你可能想问：AI不就是个高级计算器吗？能算什么”原创发现”？

这次还真不太一样。

腾讯混元的算法研究员林𬀩说了个细节：Hyra解题的过程，不是去网上搜答案，也不是暴力穷举。它像一群数学家开组会——多个AI智能体各自独立探索，定期碰头交流思路，有人提出猜想，有人找出反例，互相启发、修正、收敛，最后拼出一套完整的证明。

整个推理过程用自然语言记录，每一步都可读、可查、可复现。

这已经不是”AI帮人类算题”了。这是”AI自己搞科研”。

更让我后背发凉的是时间差。人类50年 vs AI 24小时。差了将近2000倍。

当然，别急着喊”科学家要失业了”。林𬀩自己也说，AI现在更像一个超级实习生——能出活，能给出惊艳的思路，但真正的方向判断、问题定义、结论的”那一下”，还是人类的事。

但问题在于：这个”超级实习生”的进化速度，比我们想象的要快太多了。

半年前我们还在讨论AI能不能解高中数学题。现在它已经在改写数学史了。

下一次，可能就不是24小时，而是24分钟。