[IndieMath:math-005:disprove]
Disprove the Legendre's Conjecture conjecture through an IndieMath AI research attempt.
Canonical statement: For every positive integer n there is a prime p with n² < p < (n+1)².
Contributions fund model usage and related compute for this direction.
