ورقة أولية تثبت أن عدد فان دير فاردن w(2;3,21) يساوي 416 ببرهان تحقق منه نواة Lean 4

يحسم نظام LPM من Hupyy حدسية Kullmann لعام 2010؛ إذ دُحضت 38,661,140 صيغة طرفية وتحقق منها cake_lpr، وحزمة الأدلة البالغة 13.6 غيغابايت متاحة؛ ولم تخضع النتيجة بعد لمراجعة الأقران.