Qiaochu_Yuan comments on Solved Problems Repository

[Qiaochu_Yuan]

I don’t understand what the first sentence is disagreeing with.