A Lean 4 kernel-checked proof establishes w(2;3,21) = 416, covering 209 cases and 38,661,140 leaf formulas, with each refutation verified by cake_pr and bound by digest to its Lean term.
Summaries like this, every morning.
Pick your industry and the AI tools you use, and get news related to your work every day.
Free · 30 seconds with Google · unsubscribe anytimeWhat is AIToday? →
Ask AI anything about this article. The AI reads this article, earlier AIToday articles, and Wikipedia, and cites its sources. Q&As are published on this page for other readers too.
