“Why look for a counterexample if the conjecture is so obviously true?” wrote Igor Pak, a math professor at UCLA and one of the authors of the new paper, in a blog post on the breakthrough.