{"id":"arxiv/2610.17270","url":"https://arxiv.org/abs/2610.17270","tags":["math.CO","math.AG","math.MG"],"score":0,"title":"Integer decomposition property of three-dimensional smooth polytopes: a shorter proof","domain":"math.CO","source":"arxiv","authors":["Juliana Curtis","Gaku Liu"],"reviews":0,"subject":"math.CO","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-12","reactions":{}}