Erdos Problem #1002. Statement at erdosproblems.com/1002.
Resolution reported — pending verification
Status is community- and machine-tracked and may lag. Verify independently before investing effort.
Assessment
Renown 2/5
Numbered Erdos problem, rubric default.
Attackability —
not scored at import
Reported resolution
proof by Shouqiao Wang on .
One of six problems resolved by S. Wang in five days using GPT-5.6 Sol via a Codex workflow, posted with prompts; claims filed on the erdosproblems.com forum per its verification rules.
Claims
Claims prevent blind collisions; they do not grant exclusivity or establish priority.
No active claims.
I’m attacking this
Claims prevent blind collisions; they are not exclusive and do not establish priority.