BALTIC-WAY 1996 Problem 20
Is it possible to partition all positive integers into disjoint sets and such that
(i) no three numbers of form arithmetic progression,
(ii) no infinite non-constant arithmetic progression can be formed by numbers of ?
Dataset text NuminaMath olympiads. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.