Mauri and Moraga's Question on Log Calabi-Yau Pairs with Big Boundary
Mauri and Moraga posed a two-part question about log Calabi-Yau pairs whose boundary decomposes into big divisors. Both parts have negative answers.
- Result
- Disproved
- Status
- Resolved
- AI contribution
- AI-discovered
- Method
- Construction
- Field
- Birational geometry
- Posed by
- Mirko Mauri, Joaquín Moraga
- Year posed
- —
- Years open
- —
- Solved
- 2026-05-21
- Model
- ChatGPT 5.5 Pro and Rethlas
- Vendor
- —
- Collaborators
- Jihao Liu
- Verification
- Unreviewed
- Publication
- Preprint
- Significance
- 15 / 100
- Disclosed cost
- —
- Wikipedia
- No dedicated article
What the AI did
The author states the main result is obtained by generative AI, particularly ChatGPT 5.5 Pro and the Rethlas system, without separating the contributions of the two systems.
Verification
arXiv preprint, not peer-reviewed. The answers are constructions, so they are checkable directly.