Une prépublication prouve que le nombre de van der Waerden w(2;3,21) vaut 416, preuve vérifiée par le noyau Lean 4

Le système LPM de Hupyy tranche une conjecture de Kullmann de 2010 ; 38 661 140 formules feuilles ont été réfutées et vérifiées par cake_lpr, et le paquet de preuves de 13,6 Go est public ; pas encore évalué par les pairs.