Thomas Bloom, der erdosproblems.com betreibt, hat am Dienstag neue Kommentare und Lösungsmeldungen gesperrt. Von den 9.000 Kommentaren bewerben die meisten nur noch unerklärte KI-Beweise, sagt er. Auch die Markierungen offen und gelöst fielen bei 1.221 Aufgaben weg.