Davidmanheim comments on [Closed] Hiring a mathematician to work on the learning-theoretic AI alignment agenda