I think brute force could be used to prove him wrong (if his conjecture is incorrect). However, it won't be enough to prove correct.