Saturated Newton polytopes of Vandermonde powers

Powers of the Vandermonde determinant are eventually non-SNP

Model / AI: Codex

OpenAI Codex supplied the key even-power construction and proof strategy for a conjecture of Monical, Tokcan and Yong, with the full transcript in the appendix; Le and Weber checked and organized the argument, and the Lean project verifies the seed identity, not the full theorem.

Source review pending. Imported from the original notes; linked claims and artifacts have not been re-audited in this restructuring.

• Paper — Powers of the Vandermonde determinant are eventually non-SNP
• Lean — Lean project