The speaker says mathematical progress comes from developing ideas and representations that enable solutions to harder problems.

“It's about the understanding." Um, and, you know, you come up with ideas. You know, when you go to formalize a proof, that, that's where the mathematics just, is, is just, it's just dying.”

“I mean, it's just you gotta do it. You gotta check, you know, you gotta check carefully. But that's not what we really care about. We care about the ideas, and often the ideas, they are about coming up with the new representations, ways of thinking about things that will let you solve harder problems and, and get further.”