姚顺雨为腾讯混元AI4S招人，Hyra推进50年数学开放问题

姚顺雨为腾讯混元AI4S方向招人，未给出职位描述，只用自研智能体Hyra的科研成绩单作为招募材料。基于本月开源的Hy3模型（总参数295B、激活参数21B），Hyra为加法组合学一个悬置约50年的开放问题找到关键构造并给出完整答案，证明结果能无限接近理论上限2，还附上Lean 4形式化证明。在Hyra-1.0的首批测试中，55道数十年未取得进展的数学开放问题里有29道刷新了已知最好结果。