Just a casual question regarding MIRI

Working on MIRI's current technical agenda mostly requires a background in computer science with an unusually strong focus on logic: see details here. That said, the scope of MIRI's research program should be expanding over time. E.g. see Patrick's recent proposal to model goal stability challenges in a machine learning system, which would require more typical AI knowledge than has usually been the case for MIRI's work so far.

MIRI's research isn't really what a mathematician would typically think of as "math research" — it's more like theory-heavy computer science research with an unusually significant math/logic component, as is the case with a few other areas of computer science research, e.g. program analysis.

Also see the "Our recommended path for becoming a MIRI research fellow" section on our research fellow job posting.

If you check out their recommended knowledge base then you can see how much of it overlaps with your possible courses. For anything more specific, you could contact them directly; they often say how happy they are to discuss how to study for their technical agenda.

Study computer science. Math is instrumental and something you will pick up as you go along. All you need for that is some books, a notebook, and a pencil. Operational hands-on experience with artificial intelligence is something that you can get more out of from your studies in university. It will also open more doors should you choose to go a different route at a later point in time.

I appreciate the great feedback from all of you, thank you :) I do have another quick question, but it's of a lower priority. As of right now, I currently hold no degree. I've always been kind of Interested in the MIRI workshops, but I've always been nervous about signing up to one because: 1. I'm not sure if a degree would be necessary to keep up with the level of work people are to be involved in at the workshop and 2. In case my first point turned out to be true, I certainly wouldn't want a student who had no real formal (I've still learning computability and logic and have started to branch out into set theory and similarly related fields) experience in the kind of Math MIRI deals with to be a nuisance to people trying to get some work done by asking them questions all the time. So here is my question stated in full 'Would I be allowed to participate in a MIRI workshop, given that I have no degree as of right now, and could this factor be to the detriment of others there?' Again, a lower priority question, but any comments or thoughts from users would be welcomed graciously :)