Hupyy

Headlines · 1

1. 2d
   Report: Lean 4 proof establishes W(2;3,21) = 416

   A report says W(2;3,21) = 416 has been proved with a Lean 4 kernel-checked proof, resolving a conjecture Kullmann made in 2010. The theorem covers 209 cases and 38,661,140 leaf formulas. Each refutation was checked by cake_pr, the LRAT checker verified in CakeML, and bound by digest to its Lean term. The proof was produced with Hupyy’s neuro-symbolic Large Proof Model; the report says nothing counted unless accepted by the Lean kernel or cake_pr.

   r/MachineLearning · 🔥 0

Experience and discussion from the community

Share my Hupyy experienceAsk about Hupyy