鲲鹏助力清华大学夺取SolverChallenge2023竞赛冠军_彭飞