Gaps in Multiplicative Sidon Sets
Wouter van Doorn, Pietro Monticone, Quanyu Tang
AI use, as the source states it
“We first show that this estimate does indeed hold, with a proof that was autonomously discovered and formally verified in Lean by Aristotle.”
Model: Aristotle, as stated
Named here, or see a mistake? Write to privacy@papex.org.