A lot of those proofs are slop and lack the elegance of a human solution.
A proof is a proof though. It's either true or it isn't.
alt Hacker News
A proof is a proof though. It's either true or it isn't.