The Furstenberg-Sárközy theorem states that every set of positive integers with positive upper natural
density contains two distinct members whose difference is a square
number. Equivalently, the maximum size 
of a square-difference-free
set in 
is 
.
Here, positive upper natural density means that
.
Green and Sawhney (2025) obtained 
for positive absolute constants 
and 
.
