RecodeX 重构消息，腾讯科研智能体攻破一道50年未解的数学难题，团队负责人姚顺雨表示正在招人。