Algebraic and complex geometry·OpenAI Math·Result 059
Counterexamples to Zariski’s multiplicity conjecture
One of the 372 results in OpenAI's public mathematics catalogue, filed under algebraic and complex geometry: 2 preprints, the latest dated 27 September 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 counterexamples to Zariski’s multiplicity conjecture (algebraic and complex geometry) in 2 preprints, the latest dated 27 September 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 45 of 83 in Every OpenAI Math Result, Part 1 of 4: Goldfeld's Conjecture and 82 More · starts at 15:17 · watch from there on YouTube →
What OpenAI claims
Disproves Zariski's multiplicity conjecture by constructing reduced holomorphic hypersurface germs that are ambiently homeomorphic but have different multiplicities. The examples include hypersurfaces in ℂ4 with isolated critical points and multiplicities four and five.
Papers (2)
Ambiently homeomorphic isolated hypersurfaces of multiplicities two and three
OpenAI's abstract We give a negative answer to the embedded Zariski multiplicity conjecture. We construct two reduced hypersurface germs that are ambiently homeomorphic but have multiplicities two and three. Both have isolated singularities and lie in a common complex affine space of dimension divisible by eight. Their defining function germs are also topologically right equivalent, and the same examples answer Arnold's corank problem negatively for ambient topological equivalence.
Ambiently homeomorphic isolated hypersurface germs in ℂ⁴ with multiplicities four and five
OpenAI's abstract We give a negative answer to Zariski's multiplicity question in four complex variables. We construct two reduced convergent holomorphic function germs with isolated critical points and multiplicities four and five whose zero-set germs are ambiently homeomorphic.
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 27 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?
- Disproves Zariski's multiplicity conjecture by constructing reduced holomorphic hypersurface germs that are ambiently homeomorphic but have different multiplicities. The examples include hypersurfaces in ℂ4 with isolated critical points and multiplicities four and five.
- Where is the proof?
- In the paper, Ambiently homeomorphic isolated hypersurfaces of multiplicities two and three (PDF).
- Is there a video?
- Yes, on YouTube (28:48, chapter 45).
Also in
- Chapter 5 of 10 in Kobayashi's Ampleness Conjecture, Kuznetsov Conjecture, Virasoro Conjecture and 7 More · starts at 1:24 · 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 45 from 15:17 · description, sources and chapters →
Related results in Algebraic and complex geometry
- 060The Global Spherical Shell conjectureVideo
- 062Projective contact classification and the LeBrun–Salamon conjectureVideo
- 063The generalized Mukai conjectureVideo
- 064Topological triviality of μ-constant surface singularitiesVideo
- 065Virasoro constraints for complete intersections and projective-bundle towersVideo
- 066Bounded klt complements for Fano contractionsVideoLean