[IndieMath:math-050:disprove]
Disprove the Vaught's Conjecture conjecture through an IndieMath AI research attempt.
Canonical statement: A complete first-order theory in a countable language has either at most countably many or exactly 2^{ℵ₀} non-isomorphic countable models — never an intermediate number.
Contributions fund model usage and related compute for this direction.
