1
腾讯混元：基于 Hy3 模型的科研智能体 Hyra 攻克加法组合学 50 年未解难题
腾讯混元Hy3模型驱动的科研智能体Hyra突破数学困境，AI助力科学发现再下一城。
IT之家 7 月 31 日消息，腾讯混元今日发文宣布，基于 Hy3 模型的科研智能体 Hyra 找到了一个关键构造， 为加法组合学中一个悬而未决半个多世纪的开放问题给出了完整答案 。 目前，论文预印本、显式构造和形式化证明均已公开： 论文： https://arxiv.org/abs/2607.27…
腾讯混元Hy3模型驱动的科研智能体Hyra突破数学困境，AI助力科学发现再下一城。
IT之家 7 月 31 日消息，腾讯混元今日发文宣布，基于 Hy3 模型的科研智能体 Hyra 找到了一个关键构造， 为加法组合学中一个悬而未决半个多世纪的开放问题给出了完整答案 。 目前，论文预印本、显式构造和形式化证明均已公开： 论文： https://arxiv.org/abs/2607.27…