jsalvatier comments on Has SIAI/​FHI considered putting up prizes for contributions to important problems?