I would personally be interested in more academic networking happening here—even if most people on LW will end up leaving mathematics as such.
Oh yeah, of course! I currently intend on getting my Ph.D. at least, although I am less certain about remaining in academia after that. I’m not sure LW is the place to talk about math that isn’t of more general interest, but I am happy to talk more about it in PMs (I’m also a number theorist).
I consulted the Magic ∞-Ball (a neighborhood of semantic space with oracular properties) and it said: “The adelic cohomology of constructive quantum ordinals is technically essential to proving that induction plus reflection is asymptotically optimal in all Ω-logical worlds, and that’s the key theorem in seed AI. So number theory is very important.”
Oh yeah, of course! I currently intend on getting my Ph.D. at least, although I am less certain about remaining in academia after that. I’m not sure LW is the place to talk about math that isn’t of more general interest, but I am happy to talk more about it in PMs (I’m also a number theorist).
I consulted the Magic ∞-Ball (a neighborhood of semantic space with oracular properties) and it said: “The adelic cohomology of constructive quantum ordinals is technically essential to proving that induction plus reflection is asymptotically optimal in all Ω-logical worlds, and that’s the key theorem in seed AI. So number theory is very important.”