数学家借助AI证明范德瓦尔登数w(2;3,21)=416

一个长期悬而未决的范德瓦尔登数w(2;3,21)被证明等于416，证明经Lean 4内核校验。该值由Kullmann于2010年提出猜想，此次证明复盖209个案例、约3866万个叶公式，每个反证均由经CakeML验证的LRAT检查器cake_pr核验。证明由Hupyy的神经符号系统LPM生成，仅被Lean内核或cake_pr接受的步骤才计入。

• Alphabet市值蒸发5000亿美元，AI机遇隐现2026-10-29
• 前DeepMind研究员欲用AlphaGo思路治幻觉2026-10-27
• 谷歌称自我改进型AI远未到来2026-10-14
• 凯文·凯利2016年AI预测十年后回顾2026-10-12
• Deepmind研究员提出"人工共生智能"替代奇点论2026-10-03