Kaj_Sotala comments on Progress on automated mathematical theorem proving?