Vladimir_Nesov comments on The $125,000 Summer Singularity Challenge