プレプリント、ファン・デル・ヴェルデン数w(2;3,21)=416をLean 4カーネル検証済みの証明で示す

HupyyのLPMがKullmannの2010年の予想を解決。38,661,140個の葉論理式が反駁されcake_lprで検証、13.6GBの証拠一式を公開。査読は未了。