Algebra·OpenAI Math·Result 193
Serre’s intersection-multiplicity conjecture
One of the 372 results in OpenAI's public mathematics catalogue, filed under algebra: 1 preprint, the latest dated 23 September 2026. This page quotes OpenAI's own summary of the claim, links the paper and abstract, and embeds the animation.
In one line: OpenAI reports a proof of Serre’s intersection-multiplicity conjecture (algebra) in a preprint dated 23 September 2026. It has not been peer reviewed. The channel's animation, Every OpenAI Math Result, Part 2 of 4: PCP for PPAD, Birkhoff Conjecture and 82 More, is on YouTube.
Chapter 31 of 84 in Every OpenAI Math Result, Part 2 of 4: PCP for PPAD, Birkhoff Conjecture and 82 More · starts at 10:23 · watch from there on YouTube →
What OpenAI claims
Proves strict positivity of Serre's intersection multiplicity χR(M,N) for nonzero finitely generated modules over any regular local ring, provided M⊗R N has finite length and dim M+dim N=dim R. This resolves the positivity conjecture, including ramified mixed characteristic.
Paper
Positivity of Serre's Intersection Multiplicity
OpenAI's abstract We prove Serre's positivity conjecture, including ramified mixed characteristic. If two nonzero finitely generated modules over a regular local ring have tensor product of finite length and complementary dimensions, then their intersection multiplicity is strictly positive.
Status
Preprint. The paper has 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 a preprint on 23 September 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 strict positivity of Serre's intersection multiplicity χR(M,N) for nonzero finitely generated modules over any regular local ring, provided M⊗R N has finite length and dim M+dim N=dim R. This resolves the positivity conjecture, including ramified mixed characteristic.
- Where is the proof?
- In the paper, Positivity of Serre's Intersection Multiplicity (PDF).
- Is there a video?
- Yes, on YouTube (29:10, chapter 31).
Also in
The video
Every OpenAI Math Result, Part 2 of 4: PCP for PPAD, Birkhoff Conjecture and 82 More · Compilation · 29:10 · chapter 31 from 10:23 · description, sources and chapters →
Related results in Algebra
- 194Lech’s multiplicity conjectureVideoLean
- 195A counterexample to the small Cohen–Macaulay module conjectureVideoLean
- 196A counterexample to Kaplansky’s zero-divisor conjectureVideoLean
- 197A torsion-free group algebra that is not directly finiteVideoLean
- 198A counterexample to finitistic-dimension finitenessVideoLean
- 199Counterexamples to Auslander–Reiten, Tachikawa and related homological conjecturesVideoLean
