人机协作破解社会选择理论 30 年公开难题:核心稳定性委员会必存在
xuanalogue · x · 2026-09-21
FrontierMath: Open Problems 中的又一公开难题被解决——审批制多赢家选举中「核心」（core）委员会是否总是存在。这三位作者在与 GPT-6 Astra 的交互会话中获得启发，完成证明并发布于 arXiv（2609.11912），其中 Dominik Peters 正是该 benchmark 问题的原提议者。
- 问题背景：多赢家选举要选出一个「委员会」而非单一候选人；核心稳定性是基于合作博弈论「核心」的比例代表制形式化
- 结论：满足核心稳定性的委员会总是存在
- 证明方法：提出一种优化类熵目标函数（「harmonic entropy」）的新投票规则，证明该目标函数的所有局部最优都落在核心中，因此核心委员会可在多项式时间内找到
- 研究者强调这需要人类领域专长配合 AI，翻译帖指出这是该子领域的主要公开难题经人机协作解决
论文作者：Patrick Becker、Matthias Greger、Dominik Peters。
「研究」频道最新
- Vector Institute 提出 MoME：上下文感知记忆嵌入，用混合槽位消除词义坍缩 — vector-institute · 2026-09-21
- FRAUDSkill 冻结权重外挂技能优化，语音反诈 Macro-F1 提升至 73.5% — PPSUCTeleantifraudCommunity · 2026-09-21
- TeleAntiFraud 2.0 月度冻结基准：分类器遇近域负例 F1 从满分跌至 0.65 — PPSUCTeleantifraudCommunity · 2026-09-21
- 用 bootstrap 子集拟合性能锥,Ville 不等式检验模型排名交叉 — PTenigma · 2026-09-21
- 学者议同行评审改革:专职初审、低质投稿罚款、评审配比制 — m2saxon · 2026-09-21
- 实验室负责人被指文风有 AI 痕迹，撰文谈 AI 辅助写作该评什么 — furongh · 2026-09-21