@misc{indiciaeb34911a5a07f, title = {Real-rootedness of the Poincaré polynomials of \$\textbackslash{}overline\{\textbackslash{}mathcal M\}\_\{0,n\}\$: an AI-assisted proof}, author = {Gergely Bérczi and Young-Hoon Kiem}, year = {2026}, url = {https://arxiv.org/abs/2605.29151}, note = {Source identifier: 2605.29151} }