mic comments on Beliefs and Disagreements about Automating Alignment Research