I don't quite have the mathematical background and sophistication to grok those posts as well, but I did get their purpose - to hook mathematicians into thinking about the open problems that Eliezer and MIRI have identified as being relevant.