A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
The Campana–Peternell conjecture in dimension six
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Snaky <<<

LOADING...
0%
thinking... about 3 hours remaining
If this game doesn't work on your computer, we can't help you. No Lean version yet. Some unformalized games could have issues!
expertly designed by an internal OpenAI model

Difficulty:🧠🧠🧠🧠🧠 Ages:13 - ∞
Skills:shapes made of equations Levels:1
Category:Algebraic and complex geometry Lean version:not yet
Rate this game! 4.1 out of 5 (6,534 votes)

>>> How to Play <<<
The Campana–Peternell conjecture in dimension six. Proves the Campana–Peternell conjecture in complex dimension six: every smooth connected complex projective Fano sixfold with nef tangent bundle is rational homogeneous.

>>> Level Select <<<
released 2026-09-25  |  1 theorem · 6 lemmas · 13 proofs · 9,939 words  |  PLAY LEVEL 1 »  (pdf)
We prove that every smooth connected complex projective Fano sixfold with nef tangent bundle is rational homogeneous, resolving the Campana–Peternell conjecture in complex dimension six. As a consequence, a connected compact Kähler manifold X with nef holomorphic tangent bundle and $\dim_{\mathbb C}X-\widetilde q(X)\leq6$ has ordinary universal cover $F\times\mathbb C^{\widetilde q(X)}$, where F is a rational homogeneous manifold and $\widetilde q(X)$ is the maximal irregularity of a connected finite étale cover.

More Algebraic and complex geometry Games!
Counterexamples to Shafarevich holomorphic convexityComplex counterexamples to cancellation and affine fibrationsA characteristic-zero counterexample to Lipman–ZariskiA stable-coordinate counterexample in four variables
A counterexample to Griffiths' positivity conjectureKobayashi's canonical-ampleness conjectureTangent-bundle splittings and universal coversA counterexample to Pixton's original completeness conjecture

Cool Links: openai/math   Lean   Mathlib   arXiv   the real Coolmath Games