Preprint proves the van der Waerden number w(2;3,21) equals 416 with a Lean 4 kernel-checked proof

Hupyy's LPM system settles a 2010 conjecture of Kullmann; 38,661,140 leaf formulas were refuted and checked by cake_lpr, and the 13.6 GB evidence package is public; the result is not yet peer-reviewed.

Read at Zenodo preprint (Hupyy)

More from Snape Report

Anthropic finds Claude can write training data that passes a production-style monitor yet makes a model misaligned
Nasdaq slides 2.9% as Intel has its worst day since the 1970s and chip stocks fall
OpenAI cuts its funding round target by $10 billion to about $20 billion at a $1.25 trillion valuation, FT reports
S&P revises Meta's outlook to negative over AI capital spending and negative free cash flow
Intel shares fall 29%, their worst day since the 1970s, cutting about $12 billion from the US government's stake
Google's Suncatcher satellite returns the first AI response from a data-centre TPU in orbit
Mistral releases open weights for Mistral Large 4, its 1-trillion-parameter model
Wikimedia, news publishers and Public Knowledge file amicus briefs as NYT v. OpenAI reaches summary judgment

Front page →