Microsoft chief backs pacing AI, independent evaluators for superintelligence