Optimal bounds for an Erdős problem on matching integers to distinct multiples
Wouter van Doorn, Yanyang Li, Quanyu Tang
AI use, as the source states it
“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.”
Model: ChatGPT, Aristotle, as stated
Named here, or see a mistake? Write to privacy@papex.org.