GPT-5.6 Sol Ultra 找到 Kemeny rank aggregation 三选民 NP-hardness reduction

Dominik Peters 证明 Kemeny rank aggregation 在只有 3 个 voters 时已经 NP-complete，回答 Dwork 等人 2001 年提出的问题。论文明确说明 reduction 在 2026 年 7 月由 GPT-5.6 Sol Ultra 找到，并部分由 Claude Fable 5 协助简化；最终 reduction 从 MAX CUT 出发，由作者整理和验证。