Real-rootedness of the Poincar\'e polynomials of $\overline{\mathcal M}_{0,n}$: an AI-assisted proof

Researchers used AI-assisted methods to prove that Poincaré polynomials of moduli spaces of rational curves have only real roots, resolving a longstanding conjecture in algebraic geometry. The breakthrough employs a novel bivariate deformation technique that reveals hidden mathematical structures, with implications for understanding the topological properties of geometric spaces.

This article documents a significant advancement in pure mathematics achieved through human-AI collaboration, where Google DeepMind's Co-Mathematician system helped solve a conjecture in algebraic geometry that had resisted traditional approaches. The researchers proved real-rootedness for Poincaré polynomials of the Deligne-Mumford moduli space, establishing that Betti numbers form an ultra-log-concave sequence. The methodology introduces a bivariate deformation strategy that exposes interlacing structures invisible in standard one-variable recurrences, validated through Sturm-Rolle arguments.

This work represents a broader trend where frontier AI systems augment mathematical research rather than replace human mathematicians. The human role remained essential: posing problems precisely, evaluating computational attempts, identifying gaps, and validating final proofs against mathematical literature. The collaborative workflow demonstrates that AI excels at exploring solution spaces and constructing arguments when properly directed, while humans provide judgment, conceptual framing, and verification.

For the mathematical and scientific community, this success signals AI's maturing capacity in rigorous formal reasoning. The proof technique's portability to Fulton-MacPherson spaces suggests the deformation strategy has broader applicability. While this particular result impacts academic mathematics rather than cryptocurrency or finance directly, it exemplifies how AI-assisted discovery might accelerate solutions in other technical domains requiring systematic exploration of complex logical structures.

Future work will test whether similar collaborative approaches solve other outstanding conjectures in algebraic geometry and related fields, potentially establishing new benchmarks for AI in formal mathematical reasoning.

• →AI-assisted collaboration proved a longstanding algebraic geometry conjecture about Poincaré polynomial real-rootedness
• →Novel bivariate deformation technique reveals hidden mathematical structures through Sturm-Rolle arguments
• →Human mathematicians remained essential for problem framing, evaluation, and proof verification
• →Proof strategy generalizes to Fulton-MacPherson spaces, suggesting broader applicability
• →Result establishes Betti numbers of moduli spaces form ultra-log-concave sequences