Real-rootedness of the Poincaré polynomials of \overline{\mathcal M}_{0,n}: an AI-assisted proof
Gergely Bérczi, Young-Hoon Kiem
AI use, as the source states it
“The proof for \overline{\mathcal M}_{0,n} was obtained through an iterative AI-assisted workflow with Co-Mathematician, an agentic frontier-model system developed by Google DeepMind.”
Model: Co-Mathematician, as stated
Named here, or see a mistake? Write to privacy@papex.org.