Integer decomposition property of three-dimensional smooth polytopes: a shorter proof
arXiv:2610.17270
Abstract
Oda's smoothness conjecture asserts that every smooth lattice polytope has the integer decomposition property. The three-dimensional case of this conjecture was recently proven by AI. Here we give a much shorter proof of this result.
7 pages