OpenAI research collection · 1 manuscript · Source checked 2026-10-19
Every connected minimal compact complex surface of class VII with b_2> 0 contains a global spherical shell, proving the positive-b_(2) Global Spherical Shell conjecture. Such a shell is a holomorphically embedded neighborhood of the standard three-sphere in \mathbb C^2\setminus\{0\} whose complement is connected.
Short excerpts below come from OpenAI's abstracts. The full abstract and original PDF preserve the paper's precise scope.
We prove the Global Spherical Shell conjecture: every connected minimal compact complex surface of class VII with positive second Betti number contains a global spherical shell. This is a holomorphically embedded neighborhood of the standard three-sphere in \mathbb C^2\setminus\{0\} whose complement is connected.
This exact PDF is not listed in the imported formalization catalogue. Family scope notes may contain further information.
New mathematical reasoning could help AI tackle harder scientific and computational problems. How reliably these skills transfer beyond mathematics will determine how much they contribute to general intelligence.
Explore the AGI Clock ↗