OpenAI reports that every complex K3 surface is Oka

Every complex K3 surface has the convex approximation property: for every positive integer m, every holomorphic map from a neighborhood of a compact convex subset of C^m into the surface can be uniformly approximated there by entire maps C^m into it.

Curated contributions 1

Understand the problem ↓

Understanding the problem

Read the background

Every complex K3 surface has the convex approximation property: for every positive integer m, every holomorphic map from a neighborhood of a compact convex subset of C^m into the surface can be uniformly approximated there by entire maps C^m into it.

Why it matters

If correct, resolves the K3 Oka conjecture by establishing full holomorphic flexibility for every complex K3 surface.

What counts as progress

Does every complex K3 surface have the Oka convex approximation property?

Website timeline

Publication dates and editorial changes.