Turns out we were all wrong assuming mathematicians are some of the most intelligent people. Very stupid models can prove math things that the smartest humans failed to for decades.