{"id":"arxiv/2609.14188","url":"https://arxiv.org/abs/2609.14188","tags":["math.NT"],"score":0,"title":"Golden-ratio growth of Conway's subprime closure","domain":"math.NT","source":"arxiv","authors":["Romain Popescu"],"reviews":0,"subject":"math.NT","summary":"Let $s(m)$ be the Conway subprime function define the binary operation on the natural numbers $x \\circ y= s(x + y)$, and denote by $C_n$, $n \\ge 0$, the sequence of subsets of natural numbers defined by $C_0 = \\{1\\}$, and $C_{n+1} = C_n \\cup (C_n \\circ C_n)$. We prove the conjecture by Caragiu, Vicol and Zaki that $$\\lim_{n\\to \\infty} \\frac{ | C_{n+1}| }{ | C_n |}= \\frac{1+\\sqrt{5}}{2}.$$ The underlying mathematical proof in this paper was constructed with some algorithmic assistance from GPT-6 Astra and its correctness has been formally verified using the Lean 4 proof assistant.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-12","reactions":{}}