Preprint prova que o número de van der Waerden w(2;3,21) é 416 com prova verificada pelo kernel do Lean 4

O sistema LPM da Hupyy resolve uma conjectura de Kullmann de 2010; 38.661.140 fórmulas-folha foram refutadas e checadas pelo cake_lpr e o pacote de evidências de 13,6 GB é público; ainda sem revisão por pares.