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
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
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