Source authenticated

Universal volume growth bounds from positive intermediate curvature

Gromov's 1986 question drew three independent proofs within about 24 hours, two with AI in the loop. Ge's non-AI proof (heat-kernel Fisher metric, Nash entropy) came first, 13 August. Antonelli's proof here (14 August, GPT-5.6 Sol) takes a different route, Hodge obstruction and rank improvement, and its headline addition is the general family: for every $0\le m\le n-2$, nonnegative Ricci plus positive $(m{+}1)$-intermediate curvature forces at most $m$-dimensional growth - linear growth under biRicci curvature at $m=1$, plus a noncollapsed Urysohn-width bound; the author states this extension is his own, not the model's. Kong and Zhu's proof (also 14 August; GPT-5.6 Sol Ultra and Codex, "essential ideas were generated by AI") proves the same case plus a related codimension-one conjecture via a heat-transport deficit, close to Ge's method by its own account, produced before Ge's went public and not derived from it. Headline axes stay Antonelli's, for the broader scope.

Exact FrontierDelta

Prior state unknownproved

Scope and record

Occurred: Aug 13, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-co-developed. Imported under CC BY 4.0.

Canonical aliases: Universal volume growth bounds from positive intermediate curvature · Intermediate-curvature volume growth bounds

Confidence: Not scored

Registry verification: unreviewed · preprint · resolved

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Gioacchino Antonelli
human · human collaborator

GPT-5.6 Sol
model · ai model contributor · OpenAI

Lineage and corrections

This event attributed to Gioacchino Antonelli

This event attributed to GPT-5.6 Sol

Act on this frontier

Verify, challenge, or extend the result.