AI risk models lack rigorous quantitative methods for societal risks. — Synthesis