gwern comments on Solved Problems Repository