math-010-prove: Prove Infinitude of Mersenne Primes

[IndieMath:math-010:prove] Prove the Infinitude of Mersenne Primes conjecture through an IndieMath AI research attempt. Canonical statement: There are infinitely many primes of the form 2ᵖ − 1. Contributions fund model usage and related compute for this direction.