Problem detail · source-aware
VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.
For a projective variety $X$ with at worst Gorenstein canonical singularities whose stringy $E$-function $E_{\mathrm{st}}(X; u, v)$ is a polynomial, all stringy Hodge numbers $h^{p,q}_{\mathrm{st}}(X)$ are non-negative. (Batyrev 1998, Conjecture 3.10.)
The source statement is reproduced for indexing with attribution. Mathematical correctness requires domain-expert or mechanical review. VibeMath has not independently audited statement fidelity, correctness, priority, or novelty.
Satriano and Usatine found the counterexample with the assistance of GPT: $X = M_0 \times \mathbb{P}^1$, where $M_0$ is the coarse moduli space of rank-2 semistable bundles with trivial determinant over a genus-3 curve. $X$ is a 7-dimensional projective variety with Gorenstein terminal singularities whose stringy $E$-function is a polynomial, yet its stringy Hodge number $h^{2,5}_{\mathrm{st}}(X) = -1$ is negative.
Provider: OpenAI · Prompt public: unknown · Independence: unknown
arXiv preprint 2607.19184 (21 Jul 2026) by Matthew Satriano and Jeremy Usatine. The proof is short and fully explicit: the stringy $E$-function is written out and its $u^2 v^5$ coefficient gives $h^{2,5}_{\mathrm{st}} = -1$, so it is hand-verifiable. A domain-expert preprint, not yet peer-reviewed. Distinct from the unrelated Batyrev-Manin conjecture on rational points.
Correctness: unknown · statement fidelity: unaudited · peer review: none
VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.
Source-reported tools: construction.
Independent: unknown · difference confidence: 0
VibeMath has not independently audited the mathematical statement, proof, or novelty claim.