$ChatGPT> "How to Formalize All of Mathematics?"

AI has all the answers. Why read the article?