Proved: Graham's conjecture, proved for every finite set by Balasubramanian and Soundararajan (Acta Arith. 75 (1996), a refereed journal) after Szegedy (1986) and Zaharescu (1987) had proved it for all sufficiently large sets. The site labels the problem PROVED and credits the paper (page last edited 8 April 2026). Claim page: Balasubramanian and Soundararajan 1996 (accepted on the refereed publication and the curator's credit). The large-set proofs are accepted partial claims on their refereed publications, Szegedy 1986 and Zaharescu 1987. The standing in the frontmatter derives from the claim pages.