国内首个求解器权威赛事，阿里达摩院自研求解器夺冠_AI&大模型_赵钰莹