Erdős Problem #1217 (Number Theory, Primitive Sets); statement at erdosproblems.com/1217.
Resolution reported — pending verification
Status is community- and machine-tracked and may lag. Verify independently before investing effort.
Assessment
Renown 1/5
Erdős problem; renown scored at catalog level
Attackability —
not scored at import
Reported resolution
proof by GPT-5.4 Pro on .
Imported from Terence Tao's AI-contributions wiki via VibeMathed; full solutions only per that wiki's inclusion rule; verified against the erdosproblems.com page by the source tracker.
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.