van der Waerden数

【geek-terminalニュース】W(2;3,21)=416をLean 4で検証したとの報告、保証の範囲を追う

📝 本日のニュース概要 Redditで、van der Waerden数W(2;3,21)=416の証明をLean 4と外部チェッカーで検証したという報告が登場。投稿者が説明する209ケース・38,661,140個の末端論理式と、形式証明の...