预印本证明范德瓦尔登数 w(2;3,21) 等于 416，证明经 Lean 4 内核检验

Hupyy 的 LPM 系统解决了 Kullmann 2010 年的猜想；38,661,140 个叶公式被否定并经 cake_lpr 检验，13.6 GB 证据包已公开；结果尚未经同行评审。