{"id":"arxiv/2609.08137","url":"https://arxiv.org/abs/2609.08137","tags":["math.NT"],"score":0,"title":"The Fibonacci numbers are not an additive uniqueness set for multiplicative functions","domain":"math.NT","source":"arxiv","authors":["Poo-Sung Park"],"reviews":0,"subject":"math.NT","summary":"Let $(F_n)_{n\\geq 0}$ be the Fibonacci sequence. We show that a multiplicative function $f$ satisfying \\[ f(F_n+F_m)=f(F_n)+f(F_m)\\qquad(n,m\\geq 1) \\] need not be the identity function, even when $f$ takes positive integer values. This answers negatively a question posed by Spiro in 1992. The smallest example presented here is obtained from $F_{31}=557\\cdot 2417$. We prove the required divisibility equivalence, formulate an abstract prime-signature construction, and give a practical criterion producing further examples. We also describe the AI-assisted search that led to the construction and…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-08","reactions":{}}