“How We Solved Every Major Problem in Mathematics (Yes, All of Them)”