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.