十年攻坚，清华大学、蚂蚁集团获吴文俊人工智能自然科学奖一等奖_AI&大模型_InfoQ编辑部