{"id":"arxiv/2610.05661","url":"https://arxiv.org/abs/2610.05661","tags":["math.NT"],"score":0,"title":"Amicable numbers","domain":"math.NT","source":"arxiv","authors":["Paul Pollack"],"reviews":0,"subject":"math.NT","summary":"Let $s(n):=\\sum_{d\\mid n,\\,d < n} d$ denote the sum of the proper divisors of $n$. Distinct positive integers $n,m$ form an amicable pair if $s(n)=m$ and $s(m)=n$. Let $A(x)$ count the positive integers not exceeding $x$ that belong to an amicable pair. We report on a proof, found by ChatGPT Astra, that $$ A(x)\\le x\\exp\\{-(1/2+o(1))\\log x\\,\\log_3 x/\\log_2 x\\}$$ as $x\\to\\infty$. Here $\\log_k$ denotes the $k$th iterate of the natural logarithm.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-05","reactions":{}}