Pete Cheslock, Red Hat AI