The Future of Humanity Institute is hosting a maths workshop led by the Machine Intelligence Research Institute (MIRI). The week long workshop covers topics such as mathematical logic, probability theory, and how these tools relate to artificial intelligence.