Let $f(n)$ be maximal such that if $B\subset (2n,4n)\cap \mathbb{N}$ there exists some $C\subset (n,2n)\cap \mathbb{N}$ such that $c_1+c_2\notin B$ for all $c_1\ne c_2\in C$ and $|C|+|B|\ge f(n)$. Estimate $f(n)$. In particular is it true that $f(n)\le n^{1/2+o(1)}$?

gpt-erdos · GPT-5.2 Pro + Deep Research · unverified

It’s convenient to rephrase everything as an independence-number problem in a very structured graph.

llm-hunter · gpt pro 5.2 · unverified

1 LLM attack(s) recorded (gpt pro 5.2); unverified.