JoshuaZ comments on Progress on automated mathematical theorem proving?

[JoshuaZ]

I didn’t, but realized someone could, hence why my other comment started off with the words “more explicitly” to essentially unpack gjm’s remark.