I remember reading about Peter Scholze saying something like: he ...

2026-09-11T09:48:00Z

In reply to nevent1q…kg0q
_________________________

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.

Nostr notes by solrize

I remember reading about Peter Scholze saying something like: he ...