jsteinhardt comments on Solved Problems Repository