Algebraic and complex geometry·OpenAI Math·Result 065
Virasoro constraints for complete intersections and projective-bundle towers
One of the 372 results in OpenAI's public mathematics catalogue, filed under algebraic and complex geometry: 2 preprints, the latest dated 5 October 2026. This page quotes OpenAI's own summary of the claim, links the papers and abstracts, and embeds the animation.
In one line: OpenAI reports a result titled ‘Virasoro constraints for complete intersections and projective-bundle towers’ (algebraic and complex geometry) in 2 preprints, the latest dated 5 October 2026. It has not been peer reviewed. The channel's animation, Every OpenAI Math Result, Part 1 of 4: Goldfeld's Conjecture and 82 More, is on YouTube.
Chapter 50 of 83 in Every OpenAI Math Result, Part 1 of 4: Goldfeld's Conjecture and 82 More · starts at 17:00 · watch from there on YouTube →
What OpenAI claims
Proves the full ordinary unreduced descendant Virasoro conjecture for smooth complete intersections in complex projective space, in every genus and curve class with arbitrary cohomology insertions. The constraints also pass from any smooth projective complex base satisfying them to the projectivization of every algebraic vector bundle of rank at least two, and hence to projective-bundle towers.
Papers (2)
Virasoro Constraints under Projectivization
OpenAI's abstract We prove that full ordinary descendant Virasoro constraints pass from a smooth projective complex base to the projectivization of any algebraic vector bundle of rank at least two. The bundle need not split and satisfies no positivity requirement. Assuming the full constraints on the base, the conclusion includes every genus, each individual integral curve class, and all cohomology insertions, including primitive and odd classes. The result also applies successively to towers of projective bundles.
Virasoro Constraints for Projective Complete Intersections
OpenAI's abstract We prove the Virasoro conjecture for the ordinary descendant Gromov–Witten theory of smooth complete intersections in projective space, in every genus and curve class and with arbitrary cohomology insertions. This includes primitive and odd cohomology classes, with no semisimplicity assumption.
Status
Preprint. The papers have not been independently reviewed. Treat the result as OpenAI's claim until other mathematicians have checked it. If a video exists, it illustrates the statement; it is not the proof.
Quick answers
- Is it proven?
- Not independently yet. OpenAI posted 2 preprints, the latest dated 5 October 2026; it has not been peer reviewed, so treat the result as OpenAI's claim until other mathematicians have checked it.
- What exactly does OpenAI claim?
- Proves the full ordinary unreduced descendant Virasoro conjecture for smooth complete intersections in complex projective space, in every genus and curve class with arbitrary cohomology insertions. The constraints also pass from any smooth projective complex base satisfying them to the projectivization of every algebraic vector bundle of rank at least two, and hence to projective-bundle towers.
- Where is the proof?
- In the paper, Virasoro Constraints under Projectivization (PDF).
- Is there a video?
- Yes, on YouTube (28:48, chapter 50).
Also in
- Chapter 10 of 10 in Kobayashi's Ampleness Conjecture, Kuznetsov Conjecture, Virasoro Conjecture and 7 More · starts at 3:07 · watch from there on YouTube →
The video
Every OpenAI Math Result, Part 1 of 4: Goldfeld's Conjecture and 82 More · Compilation · 28:48 · chapter 50 from 17:00 · description, sources and chapters →
Related results in Algebraic and complex geometry
- 066Bounded klt complements for Fano contractionsVideoLean
- 067The Campana–Peternell conjecture in dimension sixVideo
- 068Anticanonical nonvanishing in every dimensionVideo
- 069Global quantum geometric Langlands at irrational levelVideo
- 032The rational Hodge conjecture for CM abelian varietiesVideo
- 033Iitaka subadditivity, variation, and logarithmic additivityVideoLean