math-037-prove: Prove The Erdős Conjecture on Arithmetic Progressions

[IndieMath:math-037:prove] Prove 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.