Max_Daniel comments on What are the coolest topics in AI safety, to a hopelessly pure mathematician?

[Max_Daniel]

(Terry Tao’s distinction between ‘pre-rigorous’, ‘rigorous’, and ‘post-rigorous’ maths might also be relevant.)