Charlie Steiner comments on Danger(s) of theorem-proving AI?