gwern comments on Plausibly Factoring Conjectures