TY  - RPRT
TI  - Real-rootedness of the Poincaré polynomials of $\overline{\mathcal M}_{0,n}$: an AI-assisted proof
AU  - Gergely Bérczi
AU  - Young-Hoon Kiem
PY  - 2026
UR  - https://arxiv.org/abs/2605.29151
ID  - 2605.29151
ER  -