I didn't claim that they claimed to have done it. My point is that you cannot do it.

You cannot formalize ALL of mathematics. We have known that for a while. Hence my point about the title being clickbait.