Counterexample to the Odd-Dimensional Rank Bound for Abelian p-Group Actions
Moraga conjectured, and Kollár and Zhuang recorded, an odd-dimensional extension of the rank bound for faithful abelian -group actions on smooth Calabi–Yau varieties. The paper disproves it.
- Result
- Disproved
- Status
- Resolved
- AI contribution
- AI-discovered
- Method
- Construction
- Field
- Algebraic Geometry, Calabi–Yau Varieties
- Posed by
- Joaquín Moraga; recorded by Kollár and Zhuang
- Year posed
- —
- Years open
- —
- Solved
- 2026-07-06
- Model
- ChatGPT 5.5 Pro + Danus
- Vendor
- —
- Collaborators
- Jihao Liu, Yanze Wang
- Verification
- Unreviewed
- Publication
- Preprint
- Significance
- 15 / 100
- Disclosed cost
- —
- Wikipedia
- No dedicated article
What the AI did
The abstract states the main result was obtained by ChatGPT 5.5 Pro and the Danus system, an agent built on Rethlas; the sketch of the proof was likewise produced by the model.
Verification
No independent check. The Danus papers carry a standing caution from their authors that AI limitations mean related literature may have been missed. Preprint, not refereed.