OpenAI research collection · 1 manuscript · Source checked 2026-10-19
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≥ n+1.
Short excerpts below come from OpenAI's abstracts. The full abstract and original PDF preserve the paper's precise scope.
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.
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 ↗