3 ms·Is this a proof a human could have come up with? Is it elegant? How significant was the human contribution?by esafak 2mo agoIs this a proof a human could have come up with? Is it elegant? How significant was the human contribution?