I think the same happens now with AI generating code. Nobody will read every line. that's part of the process from now on.

The problem of the proof was that we knew that FCT was true, but we had no idea why. A good/elegant proof teaches us something new about how that problem is related to other problems. It isn't just about getting a true/false answer to the conjecture.