solrize on Nostr: I remember reading about Peter Scholze saying something like: he no longer thought ...

I remember reading about Peter Scholze saying something like: he no longer thought proving theorems was interesting, and instead he was mostly concerned about finding good new definitions. So that's maybe even a step further than the old description of problem solvers vs theory builders.