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

Gergely B\'erczi; Young-Hoon Kiem

REVIEW 1 major objections 2 minor 24 references

The Poincaré polynomials of the Deligne-Mumford moduli spaces of stable rational curves are real-rooted for every n.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.3

2026-06-29 09:18 UTC pith:ESVO6XTS

load-bearing objection The bivariate deformation is a real technical step forward on the conjecture, but the jump from real y-roots to ordered real t-crossings at y=1 still needs an explicit control argument. the 1 major comments →

arxiv 2605.29151 v2 pith:ESVO6XTS submitted 2026-05-27 math.AG cs.AIcs.NE

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

Gergely B\'erczi , Young-Hoon Kiem This is my paper

classification math.AG cs.AIcs.NE

keywords Poincaré polynomialreal-rootednessDeligne-Mumford moduli spaceultra-log-concavityBetti numbersFulton-MacPherson spaceSturm-Rolle theorem

verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes real-rootedness of the Poincaré polynomial P_n(t) for the space of stable n-pointed rational curves, confirming a prior conjecture. It deforms the standard one-variable recurrence into a bivariate polynomial F_m(y,t) whose roots exhibit an interlacing structure visible only after the deformation. For each fixed negative t the zeros in the y-variable are shown to be real by a Sturm-Rolle argument on a bounded interval, and the ordered passage of these roots through the line y=1 forces the original polynomial to have only real roots. The same deformation technique yields real-rootedness for the Poincaré polynomials of the Fulton-MacPherson spaces of n ordered points on the line. As a direct consequence the Betti numbers form an ultra-log-concave sequence.

Core claim

A bivariate deformation F_m(y,t) of the Poincaré polynomial, obtained from the Keel-Manin-Getzler recurrence, reveals an interlacing structure that is invisible in the original one-variable relation; for each fixed t<0 the zeros of F_m in the y-direction are real and ordered by a Sturm-Rolle argument on 0<y<1-t, and the controlled crossings of these moving roots through the slice y=1 imply that P_n(t) itself has only real roots together with strict interlacing between consecutive n.

What carries the argument

The bivariate deformation F_m(y,t) of the Poincaré polynomial, which reduces to the original polynomial on the slice y=1 and permits a Sturm-Rolle argument that orders the y-roots for fixed negative t.

Load-bearing premise

The chosen deformation must keep the zeros of F_m(y,t) real for every fixed negative t so that their ordered crossings at y=1 force reality of the roots of the original polynomial.

What would settle it

An explicit computation of P_n(t) for some n that produces a non-real root, or a sequence of Betti numbers that violates ultra-log-concavity.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

If this is right

The Betti numbers of Č M_{0,n} form an ultra-log-concave sequence.
The Poincaré polynomials of the Fulton-MacPherson spaces P^1[n] are likewise real-rooted and ultra-log-concave.
Consecutive Poincaré polynomials exhibit strict interlacing of their roots.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same residual-deformation strategy may apply to other moduli spaces whose cohomology is governed by similar recursive presentations.
Ultra-log-concavity supplies new inequalities relating the dimensions of cohomology groups in consecutive degrees.
The method isolates a combinatorial mechanism that could be tested on low-dimensional analogues or on related generating functions in enumerative geometry.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Desk Editor's Note

The bivariate deformation is a real technical step forward on the conjecture, but the jump from real y-roots to ordered real t-crossings at y=1 still needs an explicit control argument.

read the letter

The main thing to know is that the paper gives a proof of the Aluffi-Chen-Marcolli conjecture on real-rootedness of the Poincaré polynomials for ČM_{0,n}. It starts from the Keel-Manin-Getzler recurrence and introduces a bivariate deformation F_m(y,t) that makes an interlacing structure visible. For fixed t<0 a Sturm-Rolle count places all y-roots inside (0,1-t); the original polynomial is recovered at y=1 and the ordered crossings are said to produce both real roots and strict interlacing. The same deformation strategy is applied to the Fulton-MacPherson space P^1[n].

The deformation itself is the genuinely new piece. It is not in the earlier literature on the one-variable recurrence, and it turns the problem into one where classical real-analysis tools apply directly. The authors are also clear about the AI workflow: they formulated the problem, evaluated attempts, spotted gaps, and supplied the Fulton-MacPherson extension themselves.

The soft spot is the passage from “all y-roots real and inside the interval” to “the t-values where they hit y=1 are real, simple, and strictly ordered.” The abstract invokes continuous motion and ordered crossings but does not record an auxiliary check such as the sign of νy/νt at the crossing points, a proof that roots cannot overtake one another, or a rule-out of multiple roots at y=1. If the full text supplies one of those controls the argument closes; if the step remains implicit, the interlacing conclusion rests on that single link.

This is for people working on the cohomology of moduli spaces or on real-rootedness and log-concavity questions. A reader who wants to see a concrete deformation technique applied to a known recurrence will get value from it. The paper deserves a serious referee to verify the crossing analysis and the explicit construction of F_m.

Referee Report

1 major / 2 minor

Summary. The paper claims to prove real-rootedness of the Poincaré polynomial P_n(t) of ¯M_{0,n} (and ultra-log-concavity of its Betti numbers), resolving a conjecture of Aluffi-Chen-Marcolli, by deforming the Keel-Manin-Getzler recurrence to a bivariate F_m(y,t), applying Sturm-Rolle to locate all y-roots in (0,1-t) for t<0, and deducing real t-roots from the ordered crossings of these roots through the slice y=1. The same real-rootedness result is proved for the Poincaré polynomial of the Fulton-MacPherson space P^1[n]. The argument is developed via an iterative AI-assisted workflow (Co-Mathematician) with explicit human formulation, gap identification, and refinement.

Significance. If the central argument is complete, the result settles a conjecture on real-rootedness and ultra-log-concavity for these spaces, with potential consequences for combinatorial inequalities satisfied by their Betti numbers. The bivariate deformation technique is presented as revealing structure invisible in the one-variable recurrence and is extended to a second family of spaces; the explicit description of the human-AI division of labor is a positive model for such workflows.

major comments (1)

[the paragraph following the Sturm-Rolle application in the proof of the main theorem on ¯M_{0,n}] The load-bearing step from 'all y-roots of F_m(y,t) are real and lie in (0,1-t) for t<0' (obtained via Sturm-Rolle) to 'the t-values at which these roots cross y=1 are real, simple, and strictly interlacing' is not supplied with an auxiliary argument. No explicit control is given on the sign of δy/δt at the crossings, absence of multiple roots on y=1, or monotonicity preventing overtaking or complex excursions before the slice is reached. This gap appears in the description of the continuous-motion argument that concludes the proof of real-rootedness for P_n(t).

minor comments (2)

[Section 2] The notation for the deformation F_m(y,t) and the precise range of the index m should be introduced with an explicit equation number on first appearance to facilitate cross-reference in the recurrence deformation step.
[Introduction] The abstract states that the Fulton-MacPherson result follows from 'a similar residual deformation strategy'; a short dedicated subsection comparing the two deformations would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for pinpointing the precise location of the gap in the continuous-motion argument. We agree that the transition from the Sturm-Rolle control on the y-roots to the real-rootedness and interlacing of the t-roots at y=1 requires an auxiliary justification that is not currently supplied in the manuscript.

read point-by-point responses

Referee: [the paragraph following the Sturm-Rolle application in the proof of the main theorem on ¯M_{0,n}] The load-bearing step from 'all y-roots of F_m(y,t) are real and lie in (0,1-t) for t<0' (obtained via Sturm-Rolle) to 'the t-values at which these roots cross y=1 are real, simple, and strictly interlacing' is not supplied with an auxiliary argument. No explicit control is given on the sign of δy/δt at the crossings, absence of multiple roots on y=1, or monotonicity preventing overtaking or complex excursions before the slice is reached. This gap appears in the description of the continuous-motion argument that concludes the proof of real-rootedness for P_n(t).

Authors: We acknowledge the gap. The manuscript relies on an implicit appeal to continuous dependence and ordering of the roots but does not supply the required control on the sign of the t-derivative along each root locus, nor does it explicitly exclude multiple roots or non-monotonic excursions. In the revised manuscript we will insert a short auxiliary lemma that uses the explicit form of the bivariate recurrence to establish three facts: (i) each simple y-root y_i(t) satisfies ∂y_i/∂t < 0 for t < 0 (via implicit differentiation and sign preservation inherited from the recurrence coefficients), (ii) the roots remain distinct and simple for all t < 0, and (iii) the motion is strictly monotonic, so that each root crosses the line y = 1 at a distinct real value of t and the crossing times interlace. This lemma will be placed immediately after the Sturm-Rolle application and will complete the argument for both real-rootedness and ultra-log-concavity. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation starts from external Keel-Manin-Getzler recurrence and applies independent Sturm-Rolle analysis to a new bivariate deformation.

full rationale

The paper begins with the established Keel-Manin-Getzler recurrence (an external input) and introduces a new bivariate deformation F_m(y,t) whose y-roots for fixed t<0 are located via the standard Sturm-Rolle theorem on (0,1-t). The slice y=1 recovers the original polynomial, and ordered crossings are asserted to yield real-rootedness and interlacing. No step reduces by definition or by fitted parameter to the target result; no self-citation chain is invoked as a uniqueness theorem or load-bearing premise; the deformation and real-analysis tools are presented as independent of the conclusion. The Fulton-MacPherson case is handled by an analogous external strategy. This satisfies the default expectation of a self-contained derivation against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The claim rests on the standard Keel-Manin-Getzler recurrence (a domain assumption from prior literature) and the newly introduced bivariate deformation function; no numerical parameters are fitted to data.

axioms (1)

domain assumption The Keel-Manin-Getzler recurrence holds for the Poincaré polynomials of \overline{\mathcal M}_{0,n}
The proof explicitly starts from this recurrence.

invented entities (1)

Bivariate deformation F_m(y,t) no independent evidence
purpose: To reveal a hidden interlacing structure allowing application of the Sturm-Rolle theorem
Introduced as the main new technical device in the abstract.

pith-pipeline@v0.9.1-grok · 5937 in / 1510 out tokens · 51586 ms · 2026-06-29T09:18:54.106313+00:00 · methodology

0 comments

read the original abstract

We prove real-rootedness for the Poincar\'e polynomial \[ P_n(t)=\sum_{i=0}^{n-3} \dim H^{2i}(\overline{\mathcal M}_{0,n};\mathbb{Q})t^i \] of the Deligne--Mumford moduli space $\overline{\mathcal M}_{0,n}$ of stable $n$-pointed rational curves, proving a conjecture of Aluffi--Chen--Marcolli. The proof starts from the Keel--Manin--Getzler recurrence, but its main new idea is a bivariate deformation $F_m(y,t)$ of the Poincar\'e polynomial. This deformation reveals a hidden interlacing structure not visible in the one-variable recurrence. For fixed $t<0$, the zero set of $F_m$ in the $y$-direction is controlled by a Sturm--Rolle argument on the interval $0<y<1-t$. The original polynomial is recovered on the slice $y=1$, and the ordered crossings of the moving roots through this slice give both real-rootedness and strict interlacing. Consequently, the Betti numbers of $\overline{\mathcal M}_{0,n}$ form an ultra-log-concave sequence. We further prove real-rootedness and ultra-log-concavity for the Poincar\'e polynomial of the Fulton--MacPherson space $\mathbb{P}^1[n]$ of $n$ ordered points in degenerations of the complex projective line. 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. Our role was to formulate the problem, evaluate the proposed proof attempts, identify gaps and request corrections, compare the developing argument with the literature, and refine the presentation of the final proof. Our additional human contribution was to observe that a similar residual deformation strategy applies to the Fulton--MacPherson spaces $\mathbb P^1[n]$, yielding the corresponding real-rootedness theorem.

Figures

Figures reproduced from arXiv: 2605.29151 by Gergely B\'erczi, Young-Hoon Kiem.

discussion (0)

Reference graph

Works this paper leans on

24 extracted references · 4 canonical work pages · 1 internal anchor

[1]

Paolo Aluffi, Stephanie Chen, and Matilde Marcolli, Log concavity of the Grothendieck class of M _ 0,n , Journal of Algebraic Combinatorics 61 (2025)

2025
[2]

2, 381--452

Karim Adiprasito, June Huh, and Eric Katz, Hodge theory for combinatorial geometries, Annals of Mathematics 188 (2018), no. 2, 381--452

2018
[3]

Paolo Aluffi, Matilde Marcolli, and Eduardo Nascimento, Explicit formulas for the Grothendieck class of M _ 0,n , Moduli 2 (2025), 1--32

2025
[4]

Jinwon Choi and Young-Hoon Kiem, Asymptotic distribution of the Betti numbers of M _ 0,n , Proceedings of the National Academy of Sciences of the United States of America 123 (2026), no. 18

2026
[5]

Jinwon Choi, Young-Hoon Kiem, and Donggun Lee, Representations on the cohomology of M _ 0,n , Advances in Mathematics 435 (2023), Part A

2023
[6]

, Recursive algorithm and log-concavity of representations on the cohomology of M _ 0,n , 2024, Arxiv: 2408.10728

work page arXiv 2024
[7]

, Characteristic polynomial of M _ 0,n and log-concavity , Proceedings of the London Mathematical Society 131 (2025), no. 5

2025
[8]

Pierre Deligne and David Mumford, The irreducibility of the space of curves of given genus, Publications Math \'e matiques de l'IH \'E S 36 (1969), 75--109

1969
[9]

Matherne, Roberto Pagaria, and Lorenzo Vecchi, Building sets, Chow rings, and their Hilbert series , 2025, Arxiv: 2504.16776

Christopher Eur, Luis Ferroni, Jacob P. Matherne, Roberto Pagaria, and Lorenzo Vecchi, Building sets, Chow rings, and their Hilbert series , 2025, Arxiv: 2504.16776

work page arXiv 2025
[10]

William Fulton and Robert MacPherson, A compactification of configuration spaces, Annals of Mathematics, Second Series 139 (1994), 183--225

1994
[11]

Matherne, Matthew Stevens, and Lorenzo Vecchi, Hilbert-- Poincar \'e series of matroid Chow rings and intersection cohomology , Advances in Mathematics 449 (2024)

Luis Ferroni, Jacob P. Matherne, Matthew Stevens, and Lorenzo Vecchi, Hilbert-- Poincar \'e series of matroid Chow rings and intersection cohomology , Advances in Mathematics 449 (2024)

2024
[12]

Dijkgraaf, Carel F

Ezra Getzler, Operads and moduli spaces of genus 0 Riemann surfaces , The Moduli Space of Curves (Robbert H. Dijkgraaf, Carel F. Faber, and Gerard B. M. van der Geer, eds.), Progress in Mathematics, vol. 129, Birkh \"a user Boston, Boston, MA, 1995, pp. 199--230

1995
[13]

Kapranov, Modular operads, Compositio Mathematica 110 (1998), no

Ezra Getzler and Mikhail M. Kapranov, Modular operads, Compositio Mathematica 110 (1998), no. 1, 65--125

1998
[14]

Kapranov, Chow quotients of Grassmannians

Mikhail M. Kapranov, Chow quotients of Grassmannians . I , I. M. Gelfand Seminar, Advances in Soviet Mathematics, vol. 16, American Mathematical Society, Providence, RI, 1993, Part 2, pp. 29--110

1993
[15]

2, 545--574

Sean Keel, Intersection theory of moduli space of stable N -pointed curves of genus zero , Transactions of the American Mathematical Society 330 (1992), no. 2, 545--574

1992
[16]

Manin, Gromov-- Witten classes, quantum cohomology, and enumerative geometry , Communications in Mathematical Physics 164 (1994), no

Maxim Kontsevich and Yuri I. Manin, Gromov-- Witten classes, quantum cohomology, and enumerative geometry , Communications in Mathematical Physics 164 (1994), no. 3, 525--562

1994
[17]

Knudsen, The projectivity of the moduli space of stable curves

Finn F. Knudsen, The projectivity of the moduli space of stable curves. II . the stacks M_ g,n , Mathematica Scandinavica 52 (1983), 161--199

1983
[18]

, The projectivity of the moduli space of stable curves. III . the line bundles on M_ g,n , and a proof of the projectivity of M_ g,n in characteristic 0 , Mathematica Scandinavica 52 (1983), 200--212

1983
[19]

1, 1--23

Maxim Kontsevich, Intersection theory on the moduli space of curves and the matrix Airy function , Communications in Mathematical Physics 147 (1992), no. 1, 1--23

1992
[20]

Manin, Generating functions in algebraic geometry and sums over trees, The Moduli Space of Curves (Robbert H

Yuri I. Manin, Generating functions in algebraic geometry and sums over trees, The Moduli Space of Curves (Robbert H. Dijkgraaf, Carel F. Faber, and Gerard B. M. van der Geer, eds.), Progress in Mathematics, vol. 129, Birkh \"a user Boston, Boston, MA, 1995, pp. 401--417

1995
[21]

47, American Mathematical Society, Providence, RI, 1999

, Frobenius manifolds, quantum cohomology, and moduli spaces, American Mathematical Society Colloquium Publications, vol. 47, American Mathematical Society, Providence, RI, 1999

1999
[22]

Eduardo Nascimento, Improved bounds on ultra-log concavity of the Grothendieck class of M _ 0,n , 2025, Arxiv: 2509.11805

work page arXiv 2025
[23]

Edward Witten, Two-dimensional gravity and intersection theory on moduli space, Surveys in Differential Geometry 1 (1991), 243--310

1991
[24]

Daniel Zheng, Ingrid von Glehn, Yori Zwols, Iuliya Beloshapka, Lars Buesing, Daniel M. Roy, Martin Wattenberg, Bogdan Georgiev, Tatiana Schmidt, Andrew Cowie, Fernanda Viegas, Dimitri Kanevsky, Vineet Kahlon, Hartmut Maennel, Sophia Alj, George Holland, Alex Davies, and Pushmeet Kohli, AI co-mathematician: Accelerating mathematicians with agentic AI , 202...

work page internal anchor Pith review Pith/arXiv arXiv 2026

[1] [1]

Paolo Aluffi, Stephanie Chen, and Matilde Marcolli, Log concavity of the Grothendieck class of M _ 0,n , Journal of Algebraic Combinatorics 61 (2025)

2025

[2] [2]

2, 381--452

Karim Adiprasito, June Huh, and Eric Katz, Hodge theory for combinatorial geometries, Annals of Mathematics 188 (2018), no. 2, 381--452

2018

[3] [3]

Paolo Aluffi, Matilde Marcolli, and Eduardo Nascimento, Explicit formulas for the Grothendieck class of M _ 0,n , Moduli 2 (2025), 1--32

2025

[4] [4]

Jinwon Choi and Young-Hoon Kiem, Asymptotic distribution of the Betti numbers of M _ 0,n , Proceedings of the National Academy of Sciences of the United States of America 123 (2026), no. 18

2026

[5] [5]

Jinwon Choi, Young-Hoon Kiem, and Donggun Lee, Representations on the cohomology of M _ 0,n , Advances in Mathematics 435 (2023), Part A

2023

[6] [6]

, Recursive algorithm and log-concavity of representations on the cohomology of M _ 0,n , 2024, Arxiv: 2408.10728

work page arXiv 2024

[7] [7]

, Characteristic polynomial of M _ 0,n and log-concavity , Proceedings of the London Mathematical Society 131 (2025), no. 5

2025

[8] [8]

Pierre Deligne and David Mumford, The irreducibility of the space of curves of given genus, Publications Math \'e matiques de l'IH \'E S 36 (1969), 75--109

1969

[9] [9]

Matherne, Roberto Pagaria, and Lorenzo Vecchi, Building sets, Chow rings, and their Hilbert series , 2025, Arxiv: 2504.16776

Christopher Eur, Luis Ferroni, Jacob P. Matherne, Roberto Pagaria, and Lorenzo Vecchi, Building sets, Chow rings, and their Hilbert series , 2025, Arxiv: 2504.16776

work page arXiv 2025

[10] [10]

William Fulton and Robert MacPherson, A compactification of configuration spaces, Annals of Mathematics, Second Series 139 (1994), 183--225

1994

[11] [11]

Matherne, Matthew Stevens, and Lorenzo Vecchi, Hilbert-- Poincar \'e series of matroid Chow rings and intersection cohomology , Advances in Mathematics 449 (2024)

Luis Ferroni, Jacob P. Matherne, Matthew Stevens, and Lorenzo Vecchi, Hilbert-- Poincar \'e series of matroid Chow rings and intersection cohomology , Advances in Mathematics 449 (2024)

2024

[12] [12]

Dijkgraaf, Carel F

Ezra Getzler, Operads and moduli spaces of genus 0 Riemann surfaces , The Moduli Space of Curves (Robbert H. Dijkgraaf, Carel F. Faber, and Gerard B. M. van der Geer, eds.), Progress in Mathematics, vol. 129, Birkh \"a user Boston, Boston, MA, 1995, pp. 199--230

1995

[13] [13]

Kapranov, Modular operads, Compositio Mathematica 110 (1998), no

Ezra Getzler and Mikhail M. Kapranov, Modular operads, Compositio Mathematica 110 (1998), no. 1, 65--125

1998

[14] [14]

Kapranov, Chow quotients of Grassmannians

Mikhail M. Kapranov, Chow quotients of Grassmannians . I , I. M. Gelfand Seminar, Advances in Soviet Mathematics, vol. 16, American Mathematical Society, Providence, RI, 1993, Part 2, pp. 29--110

1993

[15] [15]

2, 545--574

Sean Keel, Intersection theory of moduli space of stable N -pointed curves of genus zero , Transactions of the American Mathematical Society 330 (1992), no. 2, 545--574

1992

[16] [16]

Manin, Gromov-- Witten classes, quantum cohomology, and enumerative geometry , Communications in Mathematical Physics 164 (1994), no

Maxim Kontsevich and Yuri I. Manin, Gromov-- Witten classes, quantum cohomology, and enumerative geometry , Communications in Mathematical Physics 164 (1994), no. 3, 525--562

1994

[17] [17]

Knudsen, The projectivity of the moduli space of stable curves

Finn F. Knudsen, The projectivity of the moduli space of stable curves. II . the stacks M_ g,n , Mathematica Scandinavica 52 (1983), 161--199

1983

[18] [18]

, The projectivity of the moduli space of stable curves. III . the line bundles on M_ g,n , and a proof of the projectivity of M_ g,n in characteristic 0 , Mathematica Scandinavica 52 (1983), 200--212

1983

[19] [19]

1, 1--23

Maxim Kontsevich, Intersection theory on the moduli space of curves and the matrix Airy function , Communications in Mathematical Physics 147 (1992), no. 1, 1--23

1992

[20] [20]

Manin, Generating functions in algebraic geometry and sums over trees, The Moduli Space of Curves (Robbert H

Yuri I. Manin, Generating functions in algebraic geometry and sums over trees, The Moduli Space of Curves (Robbert H. Dijkgraaf, Carel F. Faber, and Gerard B. M. van der Geer, eds.), Progress in Mathematics, vol. 129, Birkh \"a user Boston, Boston, MA, 1995, pp. 401--417

1995

[21] [21]

47, American Mathematical Society, Providence, RI, 1999

, Frobenius manifolds, quantum cohomology, and moduli spaces, American Mathematical Society Colloquium Publications, vol. 47, American Mathematical Society, Providence, RI, 1999

1999

[22] [22]

Eduardo Nascimento, Improved bounds on ultra-log concavity of the Grothendieck class of M _ 0,n , 2025, Arxiv: 2509.11805

work page arXiv 2025

[23] [23]

Edward Witten, Two-dimensional gravity and intersection theory on moduli space, Surveys in Differential Geometry 1 (1991), 243--310

1991

[24] [24]

Daniel Zheng, Ingrid von Glehn, Yori Zwols, Iuliya Beloshapka, Lars Buesing, Daniel M. Roy, Martin Wattenberg, Bogdan Georgiev, Tatiana Schmidt, Andrew Cowie, Fernanda Viegas, Dimitri Kanevsky, Vineet Kahlon, Hartmut Maennel, Sophia Alj, George Holland, Alex Davies, and Pushmeet Kohli, AI co-mathematician: Accelerating mathematicians with agentic AI , 202...

work page internal anchor Pith review Pith/arXiv arXiv 2026