math-020-prove: Prove Schanuel's Conjecture

[IndieMath:math-020:prove] Prove the Schanuel's Conjecture conjecture through an IndieMath AI research attempt. Canonical statement: If z₁, …, zₙ ∈ ℂ are linearly independent over ℚ, then the field ℚ(z₁, …, zₙ, e^{z₁}, …, e^{zₙ}) has transcendence degree ≥ n over ℚ. Contributions fund model usage and related compute for this direction.