A new synthesis on LessWrong examines the narrowing gap between empirical scaling success and formal deep learning theory. The author maps mathematically dense frameworks used to explain observed model phenomena. These theories provide a formal language for the field. Practitioners can use these lenses to better predict model behavior beyond trial and error.