Fujita's freeness 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

Fujita's freeness 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, 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.9 out of 5 (2,231 votes)

>>> How to Play <<<

Fujita’s freeness conjecture. Proves Fujita's freeness conjecture at its sharp bound in every dimension: for a smooth projective complex variety X of dimension n and an ample line bundle L, the adjoint $K_X+mL$ is globally generated for every integer $m\ge n+1$.

>>> Level Select <<<

LEVEL 1 Fujita's freeness conjecture

released 2026-09-23 | 2 theorems · 12 lemmas · 15 proofs · 11,407 words | PLAY LEVEL 1 » (pdf)

We prove Fujita's freeness conjecture. If X is a smooth complex projective variety of dimension n and L is an ample line bundle, then $K_X+mL$ is globally generated for every integer $m\geq n+1$.

More Algebraic and complex geometry Games!
$P=W$ for fixed-determinant moduli spaces	The equivariant cohomological Hikita conjecture for quivers	Counterexamples to Shafarevich holomorphic convexity	Complex counterexamples to cancellation and affine fibrations
A characteristic-zero counterexample to Lipman–Zariski	A stable-coordinate counterexample in four variables	A counterexample to Griffiths' positivity conjecture	Kobayashi's canonical-ampleness conjecture

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