Zhonghua Sun

Sun's conjecture $s_2(n)=4n+1$ is disproven for $n\ge4$ by a lattice polytope construction, and his proposed equality $w_r(n)=s(\Z_n^r)$ fails for large $r$ when $n$ is fixed.