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.
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.