{"id":"arxiv/2603.28636","url":"https://arxiv.org/abs/2603.28636","tags":["math.CO","math.NT"],"score":0,"title":"Optimal bounds for an Erdős problem on matching integers to distinct multiples","domain":"math.CO","source":"arxiv","authors":["Wouter van Doorn","Yanyang Li","Quanyu Tang"],"reviews":0,"subject":"math.CO","summary":"Let $f(m)$ be the largest integer such that for every set $A = \\{a_1 < \\cdots < a_m\\}$ of $m$ positive integers and every open interval $I$ of length $2a_m$, there exist at least $f(m)$ disjoint pairs $(a, b)$ with $a \\in A$ dividing $b \\in I$. Solving a problem of Erdős, we determine $f(m)$ exactly, and show $$ f(m)=\\min\\bigl(m,\\lceil 2\\sqrt{m}\\,\\rceil\\bigr) $$ for all $m$. The proof was obtained through an AI-assisted workflow: the proof strategy was first proposed by ChatGPT, and the detailed argument was subsequently made fully rigorous and formally verified in Lean by Aristotle. The…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-30","reactions":{}}