AI results

This page collects mathematical results obtained with the help of AI.

• Normality of smooth lattice three-polytopes
  Mateusz Michalek · September 2026
  A complete proof that every smooth three-dimensional lattice polytope is normal.
  PDF (39 pages, 0.6 MB)Lean formalisation