@JoséCarlosSantos Likely the
new comments explain the upvote (compare my reply). I don't think we should allow such incomprehensible answers merely to satisfy curiosity about computer generated proofs. Such answers should be judged by the same standard as human proofs - which are required to be comprehensible by humans.