Число Ван дер Вардена W(2;3,21)=416 доказано с помощью Lean 4 и нейросети

Математическое число Ван дер Вардена W(2;3,21) официально равно 416, что было подтверждено верифицируемым доказательством в системе Lean 4. Работа выполнена с использованием нейро-символической системы LPM от Hupyy, где каждый из 38 миллионов шагов был проверен ядром Lean и специализированным чекером cake_pr.