Thiele Rules on the Voter Interval Domain
A polynomial-time algorithm for computing an optimal committee under any Thiele voting rule on the Voter Interval domain, resolving a ten-year-old open problem posed for Proportional Approval Voting by Elkind and Lackner and later extended to every Thiele rule.
- Result
- Proved
- Status
- Resolved
- AI contribution
- AI co-developed
- Method
- Argument
- Field
- Computational social choice
- Posed by
- Edith Elkind, Martin Lackner
- Year posed
- 2015
- Years open
- 11y
- Solved
- 2026-04-07
- Model
- Gemini Deep Think
- Vendor
- Google DeepMind
- Collaborators
- Pasin Manurangsi, Krzysztof Sornat
- Verification
- Unreviewed
- Publication
- Preprint
- Significance
- 12 / 100
- Disclosed cost
- —
- Wikipedia
- No dedicated article
What the AI did
"The main structural theorem used by the algorithm was obtained in a single call to Gemini Deep Think."