[IndieMath:cs-006:prove]
Prove the Metric TSP Approximation conjecture through an IndieMath AI research attempt.
Canonical statement: Metric traveling salesperson admits a polynomial-time 4/3-approximation algorithm.
Contributions fund model usage and related compute for this direction.
