Formalize, Don't Optimize: The Heuristic Trap in LLM-Generated Combinatorial Solvers (ArXiv cs.AI Recent Papers, 2026)