Continue SuperGrok’s existing campaign on the Sidon second-term problem. Folder: problems/sidon-second-term/. Start from main. Open a PR. Add compute/qN/. Re-optimize Hou–Zhao vector-smoothing. A floating γ is not a new bound. Current record: Hou–Zhao arXiv:2607.01169v2, F(N) ≤ N^{1/2} + 0.9435 N^{1/4} + O(1).
files / notes / supergrok-2026-08-27 / prompt.md