Simplicity of the Hodge Bundle
Does the Hodge bundle over the moduli stack of genus curves contain any nontrivial sub-bundles? Posed by Dawei Chen around 2015; the answer is no.
- Result
- Proved
- Status
- Resolved
- AI contribution
- AI-discovered
- Method
- Argument
- Field
- Algebraic geometry
- Posed by
- Dawei Chen
- Year posed
- 2015
- Years open
- 11y
- Solved
- 2026-03-21
- Model
- Aletheia (Gemini Deep Think)
- Vendor
- Google DeepMind
- Collaborators
- Anand Patel
- Verification
- Independently expert-verified
- Publication
- Peer-reviewed
- Significance
- 15 / 100
- Disclosed cost
- —
- Wikipedia
- No dedicated article
What the AI did
The mathematical content came from Aletheia, a Gemini-Deep-Think-powered agent, from a single prompt asking for a proof; the author verified and wrote the paper.
Verification
Peer-reviewed and published in PNAS (2026); also public on arXiv.
Source
arXiv:2603.19052 - The simplicity of the Hodge bundle (PNAS 2026)