> "The problem of the proof was that we knew that FCT was true"

Citation needed.

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".

	▲	keybrd-intrrpt 25 minutes ago \| parent \| next [-]
		> the proof did not explain why So humans do/did still have a role to play
	▲	dunham an hour ago \| parent \| prev [-]
		Yeah. 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.