Comment by scuppernong

people replying to this seem to be unable to abstain from strawmanning that I am denying the rate of progress. I am not. 6 months ago they were good for an occasional technical lemma and now they can solve major open problems. The writing has only gotten worse (the papers in the big drop are completely unreadable, even to experts in the appropriate fields). If you're going to respond to a comment try to respond to what it's actually saying.