研究人员借助 ChatGPT 与 Claude 推进公平分配领域 EFX 难题证明

研究学者 Eyad Alkassar、Mahmoud Fouz 与计算机科学家 Kurt Mehlhorn 发布最新研究预印本，在人工智能辅助下推进了离散公平分配领域的长期理论难题 EFX 的存在性证明。

• 研究团队利用大语言模型 ChatGPT 5.5 Pro 与 Claude Fable 进行形式化推理与案例搜索辅助，证明了在 4 名参与者、最多 9 件不可分割物品的设定下，完全无嫉妒（EFX）分配必然存在。
• 这一结果将该特定设置下此前由学界证明成立的物品数量上限从 7 件推进至 9 件，拓展了有限组合情况下的理论边界。
• 该成果展示了大语言模型在处理组合数学中庞大分支讨论和构造性证明时的辅助探索价值。
• 影响/看点：这项研究表明先进推理模型可能成为离散数学和理论计算机科学中处理复杂反例排查的有效协作工具，但将该结论推广至任意物品数量的一般性 EFX 存在性猜想仍需根本性的理论突破。
• 资料依据：
• X：Kim (@kimmonismus)（2026-09-03）：https://x.com/kimmonismus/status/2095528469082042677
• arXiv（2026-09-03）：https://arxiv.org/abs/2609.01892

本内容由 AI 生成，仅供参考，请注意甄别