AI results
This page collects mathematical results obtained with the help of AI.
- Normality of smooth lattice three-polytopesA complete proof that every smooth three-dimensional lattice polytope is normal.
This page collects mathematical results obtained with the help of AI.