[IndieMath:math-003:prove]
Prove the Goldbach's Conjecture conjecture through an IndieMath AI research attempt.
Canonical statement: Every even integer n ≥ 4 is the sum of two primes.
Contributions fund model usage and related compute for this direction.
