Un preprint demuestra que el número de van der Waerden w(2;3,21) es 416 con una prueba verificada por el núcleo de Lean 4

El sistema LPM de Hupyy resuelve una conjetura de Kullmann de 2010; 38.661.140 fórmulas hoja fueron refutadas y verificadas con cake_lpr y el paquete de pruebas de 13,6 GB es público; aún sin revisión por pares.