Open, the site's label (page last edited 7 October 2025; proof-claims thread accessed 2026-10-06). The site records Richter's bound $\liminf q_n/n^2>0.352$ [Ri76], a refereed result recorded as an accepted partial claim on Richter's claim page (1976), and Erdős and Graham pose the question in [ErGr80, p. 91], citing Richter's result only as $\liminf q_n/n^2>0$. Two later partial results raise the bound and leave the limit question open; neither is adopted here. Yongxi Lin claims $\liminf q_n/n^2>0.864289$ in a Lean 4 development published on 27 September 2026 and not built here. Its metadata says that the mathematics of the underlying draft (prepared with Claude) and the Lean development (Claude Opus 5.5 through Claude Code) were produced by AI under Lin's direction; it is recorded on Lin's claim page (2026). A partial proof claim posted to the site's proof-claims tab on 6 October 2026 by the user satorunet, produced with Claude Opus 5.5 and Claude Fable 5.1 (Anthropic) and GPT-6-Astra via Codex (OpenAI), as the tab names them, extends Lin's method by one prime to $0.9200$ by a computer-certified residue argument and adds constraints on a counterexample; it is recorded on its claim page (satorunet, 2026). The same user's claim of 5 October 2026 on the tab, whose headline bound was Lin's $0.8642$, was withdrawn and replaced by the claim of 6 October once Lin's prior work was found, as the write-up of 6 October records; it has no page of its own, since the replacing page discloses it. Two earlier working notes credited by that write-up, a report of 28 July 2026 at erdosproblemaday.com (Patrick White with Claude, Anthropic) and an issue of 24 September 2026 in the GitHub repository the-omega-institute/trureturing (produced with Codex CLI), each claim the constant $0.5434$ by sharpening Richter's argument, and the issue excludes periodic second-difference words of period at most $n^{1/4-\delta}$; they were not submitted to the site, their constant is below Lin's claimed bound, and they are recorded here without pages of their own.