Thanks! I spend a fair amount of time reading technical papers, including the things you mentioned, mostly because I spend a lot of time on airplanes and this is a vaguely productive thing I can do on an airplane, but honestly this just mostly results in me being better able to make TikToks about obscure theorems.
Maybe my confusion is: when you say “participate in object level discussions” you mean less “be able to find the flaw in the proof of some theorem” and more “be able to state what’s holding us back from having more/better theorems”? That seems more compelling to me.
Thanks! I spend a fair amount of time reading technical papers, including the things you mentioned, mostly because I spend a lot of time on airplanes and this is a vaguely productive thing I can do on an airplane, but honestly this just mostly results in me being better able to make TikToks about obscure theorems.
Maybe my confusion is: when you say “participate in object level discussions” you mean less “be able to find the flaw in the proof of some theorem” and more “be able to state what’s holding us back from having more/better theorems”? That seems more compelling to me.