[ohnoNotAgain321]

Human understanding of cognition is not yet at a level that enables the creation of a program or system for general automated theorem proving. Much work has been required to create existing systems for very narrow problems. Technology has not reached a level where artificial intelligence systems can undergo the equivalent of millions of years of evolution to achieve an equivalence to general human intelligence; this may not even be achievable.

As for some “magic glasses” mathematical proving tool, it is probably inside the chocolate teapot on the other side of the sun.