📰 腾讯混元：基于 Hy3 模型的科研智能体 Hyra 攻克加法组合学 50 年未解难题

IT之家 7 月 31 日消息，腾讯混元今日发文宣布，基于 Hy3 模型的科研智能体 Hyra 找到了一个关键构造，为加法组合学中一个悬而未决半个多世纪的开放问题给出了完整答案。

目前，论文预印本、显式构造和形式化证明均已公开：

• 论文：https://arxiv.org/abs/2607.27199

• 
  查看原文 → ^↗