How do these kinds of advancements in math happen? Is it a momentary spark of insight after thinking deeply about the problem for 20 years? Or is it more like brute forcing your way to a solution by trying everything?