Introduction
I’m currently flirting with the idea of trying for a math PhD 2 − 3 years down the line.
I’m currently on a Theoretical Computer Science Masters program at the University of [Redacted] in the United Kingdom.
(My program is 2 semesters of teaching (7 − 8 months) followed by a 9 − 12 month industrial placement starting in June 2023. [I might forego the 1 - year industrial placement if I can’t get a suitable placement [I.E. theoretical research that feels like it would be valuable experience for the kind of career I want to pursue] and graduate after one year by completing a masters project over the summer instead.)
After graduation I’m considering taking a gap year to fill in the gaps in my maths knowledge/prepare for the PhD, maybe see if I can contribute to the research agendas I think are interesting/promising).
I might also pursue a PhD in Theoretical Computer Science instead of mathematics (maybe applications for a TCS PhD would be looked on more favourably with a TCS Masters/recommendations from my current lecturers).
Why A PhD?
I currently plan to learn a lot of (especially abstract) maths to (upper) graduate level for alignment theory (I want to do theoretical alignment work that is basically just applied maths), and I think I would benefit from the opportunity to study the relevant mathematics under a “guru”/the dedicated mentorship a PhD provides. I expect the first few years of my career in alignment research would be mostly spent on deconfusion/distillation, and I expect high levels of mathematical sophistication to be very valuable for that.
I find abstract maths and mathematical modelling “fun”, and really enjoy being a student.
My Alignment Theory of Change
I am operating under/optimising for long timelines (transformative AI is decades away [20+ years]), and this influences what kind of research I believe to be most promising.
I expect theoretical (especially foundational [especially in our current pre paradigmatic stage to be the most promising]) and am persuaded by agent foundations agendas. The extant research agendas I’m most excited for and could see myself working on someday:
John Wentworth’s Natural Abstractions Hypothesis and Selection Theorems
Vanessa Kosoy’s Learning Theoretic Alignment Agenda
Other agendas that take a desiderata first approach to alignment
Garrabant and Demski’s Embedded Agency
My basic plan for alignment is something like:
Study subjects that seem relevant to alignment theory
Mathematics: a fuckton
Theoretical Computer Science: likewise, a fuckton
Statistics (and its theory)
Learning Theory (Algorithmic and Statistical)
Information Theory (Algorithmic and Statistical)
Physics: Thermodynamics
Optimisation
Evolutionary Theory
Analytic Philosophy: ontology, epistemics, ethics, etc.
Develop executable/computable philosophy for the above
Decision Theory
Game Theory
Grapple with concepts that bear on agent foundations until I understand them better (“Deconfusion”)
Information and entropy
Computation (especially as an information dynamics phenomenon)
Abstractions, ontology, modelling/map making
Optimisation
Causality/dependencies and counterfactuals (including logical)
Epistemics (including for ideal agents)
Decision Making (including for ideal agents; especially in multi-agent environments)
Emergent behaviour in multi-agent environments (e.g. competition, coordination vs conflict, evolution)
Systems (especially complex) and their emergent behaviour
Embedded Agency more generally
Anthropics?
Distill my learnings and understandings to make them more widely accessible (“Distillation”)
Iterate #1 - #3
...
Formulate an adequate theory of robust agency
...
Solve alignment
Of course, I don’t expect to make it all the way to step 8. Mostly, I expect that deconfusion and distillation would be where most of the value from my “career” will come from.
There are two great points in favor of this plan:
Your 1-2-3-4 cycle can be run multiple times during your studies. For you, at least, the value of pursuing a PhD is not the end-result, but the actual research and impact.
It’s not a one-way decision. You can stop (or rather, change focus) early, and have a very useful set of knowledge, skills, and credentials (B.S or M.S.).
You don’t mention, however, what your next-best option is. It’s possible that you can get FASTER iteration of your cycle while working directly for someone who’ll pay you. Success outside academia is a credential that gets you influence and respect, differently than a PhD, but not necessarily less.
It is rarely wrong to follow what you are passionate about. Go for it. But do think hard before discarding your placement in industry. Obtaining a diverse set of career relevant experiences early on is valuable. Industrial placements look good on a resumé as well.
Don’t overthink this! Go with the feelz!
My simple answer is: Go for it! I have done a PhD in mathematics myself (also in the UK), and although I have since changed career in a direction where it has not been that useful, I have never regretted it! And I’m sure I would have regretted it if I hadn’t done it.
Thinking a bit more about the question, I wonder if “Should I do it?” was really the question you wanted to ask? It seems not quite well-defined, when you are not stating any alternatives. Were you hoping to answers to “What other options do I have?”, “How do I get started on this path?”, “Will the change from CS to maths be too big?” or something else?
I’m not the right person to answer what other options you have. About the two other questions, I think you should focus on who you want as a supervisor, rather than whether it will be in mathematics or in computer science (I actually thought my PhD was in both maths and CS while I was doing my PhD, and only learned that it was only in maths when my diploma arrived! One of the examiners who awarded my PhD later told me he thought he had awarded me a PhD in CS!). If you find the right supervisor, it is not important if they are in CS or maths or something else.
Thanks for the answer!
Out of curiosity, what career did you transition to?
I’ll be keeping this in mind.
Software development/consultancy.