42 leading mathematicians warn that AI existential risk is real and urgent — Blankdot