Has SIAI/FHI considered putting up prizes for contributions to important problems? — LessWrong