Is this a proof a human could have come up with? Is it elegant? How significant was the human contribution?