[Koshkin]

> automated proofs

You've got a point, but in this case you are barking at the wrong tree. Aren't they talking about automated proof-checking?

[Smaug123]

Yes, though waves hands machine learning can in principle be used to create a proof-generator from a proof-checker.