Thomas Bloom, qui gère erdosproblems.com, a gelé mardi les commentaires et les annonces de solution. Il dit que les 9 000 commentaires ne font plus qu'annoncer des preuves d'IA jamais expliquées. Le site a aussi retiré les mentions ouvert et résolu de 1 221 problèmes.