gwern comments on Tallinn-Evans $125,000 Singularity Challenge