I'm not sure if you're joking, but I don't think Eliezer Yudkowsky intended his quote to be taken quite so literally. He was most likely talking about diseases

I'm not sure if you're joking, but I don't think Eliezer Yudkowsky intended his quote to be taken quite so literally. He was most likely talking about diseases and world hunger, not about 3SAT.