Bayes' Theorem — AI Alignment Forum