Discover/W(2;3,21) = 416 - a van der Waerden number conjectured by Kullmann in 2010, now proved with a Lean 4 kernel-checked proof [R]

article

W(2;3,21) = 416 - a van der Waerden number conjectured by Kullmann in 2010, now proved with a Lean 4 kernel-checked proof [R]

r/MachineLearning · 0 upvotes

Type

article

Stars

Added

Oct 29, 2026

Join builders getting curated tech discoveries every week. No spam.

No spam. Unsubscribe anytime.

↗Related Items

repo⚫ GitHub

⭐ 1,000

12 weeks, 26 lessons, 52 quizzes, classic Machine Learning for all

article🟤 Reddit

⭐ 344

r/MachineLearning · 86 upvotes

article🟤 Reddit

⭐ 312

r/MachineLearning · 78 upvotes