Finite Generation for klt Generalized Pairs
The BCHM theorem makes the log canonical ring of a projective klt pair finitely generated. Generalized pairs, introduced by Birkar and Zhang, add an auxiliary nef part and have become a central tool in birational geometry, so it is natural to ask whether finite generation survives. It does not: Liu and Wang construct a smooth projective klt generalized pair whose generalized log canonical ring is not a finitely generated algebra.
- Result
- Disproved(see note)
- Status
- Resolved
- AI contribution
- AI-discovered
- Method
- Construction
- Field
- Birational geometry
- Posed by
- Yoshinori Gongyo
- Year posed
- 2023
- Years open
- 3y
- Solved
- 2026-08-04
- Model
- GPT-5.6-sol-ultra, Fable 5, Danus
- Vendor
- OpenAI, Anthropic, Rethlas
- Collaborators
- Jihao Liu, Yanze Wang
- Verification
- Unreviewed
- Publication
- Preprint
- Significance
- 22 / 100
- Disclosed cost
- —
- Wikipedia
- No dedicated article
What was actually shown
The paper records how stuck this was: the first author had discussed the question with Caucher Birkar, Osamu Fujino, Christopher D. Hacon, Junpeng Jiao, Vladimir Lazic and Lingyao Xie, and writes that despite a general feeling that a negative answer was likely, no precise counterexample could be found. The authors also note that, given the limitations of generative AI, they may have missed related literature and welcome corrections.
What the AI did
Stated in the abstract, which is unusual: "The main result of this paper is obtained by generative AI, particularly GPT-5.6-sol-ultra, Fable 5, and the Danus system." Remark 1.5 adds that Danus is a specialised agent built on the Rethlas system, and that human verification and polishing were done afterwards.
Verification
A preprint days old, with no independent review. The claim is an explicit construction rather than an existence argument, so it is checkable by anyone who works in the area.
Source
Submitted by VibeGene on