gwern comments on Checking Kurzweil’s track record