Preprint beweist, dass die Van-der-Waerden-Zahl w(2;3,21) gleich 416 ist, geprüft vom Lean-4-Kernel

Hupyys LPM-System löst eine Vermutung von Kullmann aus 2010; 38.661.140 Blattformeln wurden widerlegt und mit cake_lpr geprüft, das 13,6-GB-Beweispaket ist öffentlich; noch nicht begutachtet.