math-037-disprove: Disprove The Erdős Conjecture on Arithmetic Progressions

[IndieMath:math-037:disprove] Disprove the The Erdős Conjecture on Arithmetic Progressions conjecture through an IndieMath AI research attempt. Canonical statement: If A ⊆ ℕ has Σ_{a∈A} 1/a = ∞, then A contains arithmetic progressions of every finite length. Contributions fund model usage and related compute for this direction.