That was terrible phrasing. I meant "The problem with the proof was that although it showed that FCT was true, the proof did not explain why".
replyYeah. On a similar note, without the computer aspect, I once had a prof tell me that he did not like character theory. If I remember right, there you calculate some numbers from a group and can prove some properties about it. But you gain no understanding of why those properties hold.
reply> the proof did not explain why
replySo humans do/did still have a role to play