There is no "almost" or "close" in math, it's either correct or not. You can look at the wall of text it tells you is a proof, be amazed, and then what? If you actually want to do anything with it, you have to find a mathematician to verify it. I don't imagine they're so short of ideas that an "incorrect proof generator" would help them in any capacity. Their own brains come up with incorrect proofs just fine. The entire field of mathematics is in pursuit of separating the correct from the incorrect. It's kinda the point.
Your comment about "unable to be amazed" reminded me of a nature video I watched a few years ago. A guy had set up a full-size mirror in the middle of the woods and let his camera record the wild animals interacting with it. The deer, never having encountered a mirror before, didn't realize the mirror-deer was not real. They treated the mirror-deer as a live animal.
Similar to the deer not understanding mirrors, most people don't understand the technology behind AI. They see something that might look human from an angle, and treat it then as a human. Me, I'm not so impressed with mirrors.