A counterexample to Griffiths' positivity conjecture at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages

A
D
V
E
R
T

I
S
E
M
E
N
T

A counterexample to Griffiths' positivity conjecture

at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages

thinking... about 3 hours remaining

If this game doesn't work on your computer, go here for help. (Lean version available!)

expertly designed by an internal OpenAI model

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

>>> How to Play <<<

A counterexample to Griffiths’ positivity conjecture. Constructs ample rank-two bundles on $\mathbb P^1\times\mathbb P^1$ with no smooth Hermitian metric of strictly Griffiths-positive curvature, disproving Griffiths' positivity conjecture already on the quadric surface.

>>> Level Select <<<

LEVEL 1 Ample rank-two bundles on the quadric surface without Griffiths-positive metrics

released 2026-09-24 | 1 theorem · 5 lemmas · 10 proofs · 7,818 words | PLAY LEVEL 1 » (pdf)

We give counterexamples to Griffiths' conjecture in rank two on the quadric surface $\mathbb P^1\times\mathbb P^1$. We construct an explicit bundle G whose coordinatewise power pullbacks, tensored with $\mathcal O(1,1)$, are ample for every positive power, but admit no smooth strictly Griffiths-positive Hermitian metric for all sufficiently large powers.

More Algebraic and complex geometry Games!
Log abundance and effective Iitaka fibrations	Threefold log abundance in numerical dimension one in characteristic $p>3$	Numerical semiampleness and generalized minimal models	The sharp ordinary-double-point volume gap
Fujita's freeness conjecture HOT!	Nagata's conjecture and maximal Seshadri constants HOT!	Bloch's conjecture for complex surfaces HOT!	Hyperkähler SYZ and projective-space bases

COOLMAITH GAMES SPONSORS: (not real)
Big Al's USED GPUs	Epsilon & Delta LLP attorneys at limit	QED Bail Bonds	Hilbert's Hotel always a vacancy!

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

You are visitor number 000719

Thanks for visiting CoolmAIth Games
© 1997-2026 CoolmAIth Games. A parody. Not affiliated with Coolmath.com LLC or OpenAI.
Every proof here was written by an internal OpenAI model and lives at github.com/openai/math.
Best viewed in Netscape Navigator 4.0 at 800x600