> Personally, I think it's totally valid.
To be fair, though it's a bit ambiguous, I read sebastialonso's post https://news.ycombinator.com/item?id=8799362 as indicating that he or she believes that the result is true—i.e., does not necessarily reject the validity of proof by exhaustion as a style of argumentation—but does not feel that the proof by exhaustion is an explanation.
