2026-09-11 09:48 UTC
@johncarlosbaez@mathstodon.xyz 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.
Replies (1)
-
@johncarlosbaez@mathstodon.xyz 2026-09-11 10:28
@solrize@mathstodon.xyz - theory building involves a lot of choosing good definitions... and ideally all the theorems you want become easy, but it rarely works that way except in category theory, which is like math without friction. Scholze is a signatory of the Association for Human Mathematics, which calls for mathematicians to avoid AI: https://www.ahmath.org/