Translating for those without exposure to this subfield:
- The major open problem in this area of social choice theory (approval-based multi-winner voting) solved through a human-AI collaboration!
- In multi-winner voting, you are trying to elect a "committee" rather than a
Another problem from FrontierMath: Open Problems has been solved! The solution was elicited by Becker, Greger, and @DominikPeters in an interactive session with GPT-6 Astra. Peters originally suggested the problem for the benchmark. He had this to say.
