Algebraic and complex geometry·OpenAI Math·Result 042
Oka classification for minimal compact complex surfaces: Kodaira dimension zero and class VII
One of the 372 results in OpenAI's public mathematics catalogue, filed under algebraic and complex geometry: 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 result titled ‘Oka classification for minimal compact complex surfaces: Kodaira dimension zero and class VII’ (algebraic and complex geometry) in a preprint dated 23 September 2026. It has not been peer reviewed. The channel's animation, Every OpenAI Math Result, Part 3 of 4: Operator Paving, Naimark's Problem and 82 More, is on YouTube.
Chapter 70 of 84 in Every OpenAI Math Result, Part 3 of 4: Operator Paving, Naimark's Problem and 82 More · starts at 24:04 · watch from there on YouTube →
What OpenAI claims
Proves that every complex K3 surface is Oka, including nonprojective surfaces. More generally, every connected minimal compact complex surface of Kodaira dimension zero is Oka; a connected minimal compact complex surface of class VII is Oka exactly when it is a Hopf or Enoki surface.
Paper
Every complex K3 surface is Oka
OpenAI's abstract We prove that every complex K3 surface X is Oka, resolving the K3 Oka conjecture. Equivalently, for every m ≥ 1, every holomorphic map to X from a neighborhood of a compact convex set in ℂm can be approximated uniformly on that set by entire maps ℂm → X.
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 that every complex K3 surface is Oka, including nonprojective surfaces. More generally, every connected minimal compact complex surface of Kodaira dimension zero is Oka; a connected minimal compact complex surface of class VII is Oka exactly when it is a Hopf or Enoki surface.
- Where is the proof?
- In the paper, Every complex K3 surface is Oka (PDF).
- Is there a video?
- Yes, on YouTube (29:20, chapter 70).
Also in
- Chapter 5 of 9 in Shafarevich Conjecture, Zariski's Cancellation Problem and 7 More · starts at 1:25 · watch from there on YouTube →
The video
Every OpenAI Math Result, Part 3 of 4: Operator Paving, Naimark's Problem and 82 More · Compilation · 29:20 · chapter 70 from 24:04 · description, sources and chapters →
Related results in Algebraic and complex geometry
- 043P = W for fixed-determinant SLn moduli spacesVideo
- 044The equivariant cohomological Hikita conjectureVideo
- 046Shafarevich counterexamples in dimension two and with large fundamental groupVideo
- 047Zariski cancellation and affine fibrations over the complex numbersVideoLean
- 048A characteristic-zero counterexample to Lipman–ZariskiVideo
- 049A stable-coordinate counterexample in four variablesVideoLean
