Focus period: Mathematical Science of AI Safety