A reflexive polytope is a full-dimensional lattice polytope
containing the origin in its interior
whose polar
is also a lattice polytope (Batyrev 1994). Here the point lattice is identified with . Polarity exchanges vertices
and facets and preserves reflexivity.
Nill (2005) conjectured that a -dimensional reflexive polytope has at most
vertices. Hofscheier
and Nill (2026) constructed an eight-dimensional reflexive polytope with 1371 facets, so its polar has more than
vertices. They refuted
the bound in every dimension
. For each fixed
and all sufficiently large
, their construction gives at least
facets for
a positive constant
. The authors credit GPT-6.1 Sol with finding
the counterexamples and developing the general
proof.