AIProofWatch
← Archive
Importance: notable
VerificationAuthor claimAccessible artifact / proof
full solutionai assisted

AI-assisted core existence in approval-based committee elections

Becker, Greger and Peters report that every approval-based multiwinner election has a core committee and that one can be found in polynomial time.

Sources for this record

What was already known

Known special cases and approximate core guarantees left general core existence open.

What changed and why it matters

Advances the stated target relative to the recorded baseline.

The AI contribution

The acknowledgements document a lengthy GPT-6 Astra interaction, human problem refinement, and extensive human verification and rewriting.

Limitations

Preprint; no independent proof reproduction recorded here. This is the paper’s approval-based model, not every voting system or fairness notion.

Verification evidence

Evidence labels show what supports the claim. Importance rates its impact if correct.

Author claim

The original source reports this scoped result; AIProofWatch reviewed its statement, not the full proof.

Accessible artifact / proof

A research manuscript or proof artifact is publicly accessible; availability is not independent checking.

Correction and publication history