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