腾讯混元用智能体Hyra突破50年数论难题，团队开启跨学科招聘
腾讯混元智能体Hyra解决50年数学难题，AI辅助科研走向闭环，团队跨界招聘。
一个困扰数学家约50年的加法组合学问题（给定整数集合，研究加法和减法结果数量的差异），被腾讯混元自研智能体Hyra推进到新纪录：它找到一种可无限扩展的构造，使结果趋近理论上限2，并给出Lean 4形式化证明（用计算机逐步核验推导）。此前最佳纪录为1.2851，理论极限是2。Hyra不仅搜索答案，更搭建了从发现线索到验证证明的完整科研循环。混元团队正招募AI研究员、系统工程师和领域科学家，要求既懂AI又懂具体学科。
正文摘录
一个困扰数学家约 50 年、长期没有取得突破的开放问题，被自研智能体 Hyra 推进到了新的最好结果。 根据混元官方最新介绍，基于本月开源的 Hy3 模型（总参数 295B、激活参数 21B）： Hyra 找到了一个关键构造，为加法组合学中一个悬而未决半个多世纪的开放问题给出了完整答案。 给你一组整数，任意挑出两个做加法，可以得到多少种不同答案？把加法换成减法，又能得到多少种？ 能不能设计出一组特殊数字，让加法产生的不同结果，远远多于减法？最多又能多到什么程度？ 但「不能超过 350」，不代表它真的能跑到 350 附近，它的实际极限，也可能只有 200 公里每小时。 1969 年的结果约为 1.0290，1973 年提高到 1.0598，2013 年又推进至 1.1259。 近一年来，多项 AI 辅助搜索将纪录提高到 1.1449，Codex 在有人类引导的实验中进一步做到了 1.2851。 它找到了一整套可以不断扩展的数字构造，并证明随着集合规模增大，结果能够无限接近理论上限 2。 研究团队随后独立检查并整理出完整证明，还给出了一份 Lean 4 形式化证明，让计算机逐步核验推导过程。 从发现线索、提出构造，到给出能够验证的完整证明，Hyra 已经不只是帮数学家「搜答案」。 Hyra-1.0 负责搭建科研循环，维护经验、组织实验并根据结果不断迭代；Hy3 则为这套系统提供核心模型能力。 所以 Agent 架构、强化学习、上下文学习、自动评估、训练系统和 GPU kernel 等方向的人才，都会是团队的刚需。 什么问题值得研究，什么指标代表真正进步，模型给出的方案有没有违反领域常识，都需要专业判断。 这也意味着，混元想找的另一类人，很可能是既懂 AI、又懂具体科学问题的交叉型人才。