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 will embed the animation.
Latest paper
Every complex K3 surface is Oka
The animation for this result has not been released yet. Subscribe on YouTube to catch it.
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
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.
Related results in Algebraic and complex geometry
- 043P = W for fixed-determinant SLn moduli spaces
- 044The equivariant cohomological Hikita conjecture
- 046Shafarevich counterexamples in dimension two and with large fundamental group
- 047Zariski cancellation and affine fibrations over the complex numbersLean
- 048A characteristic-zero counterexample to Lipman–Zariski
- 049A stable-coordinate counterexample in four variablesLean