AIProofWatch
← Archive

OpenAI reports: Fujita’s freeness conjecture

OpenAI reports that K_X+mL is globally generated on every smooth complex projective n-dimensional variety for every ample line bundle L and every integer m at least n+1.

Sources for this record

What was already known

The sharp n+1 threshold was known in several low dimensions, while general-dimensional results required larger twists. The targeted advance attains the sharp threshold in every dimension.

What changed and why it matters

Attains the sharp general-dimensional global-generation threshold predicted by Fujita’s freeness conjecture.

The AI contribution

OpenAI attributes these manuscripts to its internal model. The entry does not infer individual human contributions beyond that publisher attribution.

Limitations

Global generation is weaker than very ampleness. The claim does not settle the separate very-ampleness assertion, and the smooth complex-projective hypotheses matter. Preprint. This is a source-statement and significance assessment, not a proof audit. No independent checking or successful formal compilation is asserted by this entry.

Verification evidence

Evidence labels show what supports the claim. Importance rates its impact if correct.

Author claim

The publisher reports the scoped result. AIProofWatch has not independently validated its correctness.

Accessible artifact / proof

The original written argument is accessible. Availability does not establish a successful proof check or Lean verification.

Correction and publication history

2026-10-11 · publication

Historical report added after statement, scope, and importance review. No proof audit or formal checking asserted; subscriber alerts disabled.

Read this published revision