Proved. The label is the site's (PROVED, page last edited 4 April 2026, read 2026-10-07), with the commentary crediting Zach Hunter's proof on the discussion thread. The standing is derived from the claim page: the accepted claim is Hunter's $2$-coloring of 10 August 2025, on its claim page (Hunter, 2025), which gives every monochromatic $k$-term progression starting at $a$ at most $\exp((\log a)^{1/2+o(1)})$ terms and is accepted on the site's label; no write-up outside the thread was found on 2026-10-07. Spencer's three-color version with a very slowly growing bound and Erdős's two-coloring with $k\ll a^{1-c}$ are the earlier results the site records.