erdős #199
If does not contain a 3-term arithmetic progression then must contain an infinite arithmetic progression?
Worked, still open.
arithmetic progressions · solved · 0 attempts
use this record
vela registry pull vfr_37aec80d874a0239vela reproduce examples/erdos-problems