OpenAI 的 GPT-6 Astra 与 Patrick Becker、Matthias Greger、Dominik Peters 三位欧洲研究员合作，在 arXiv 论文（2609.11912）中证明了批准制委员会选举中的“核”恒非空，意味着绝对公平的委员会必定存在。论文采用“调和熵”新方法并给出多项式时间算法，解决了一项自2017年悬置九年的开放难题。该成果被看作 AI 从解题机转向规律发现者的信号，同时也引发关于科学严谨性的讨论。
2026年9月10日，一篇题为《Existence of the Core in Approval-Based Committee Elections》的论文被提交到 arXiv 平台，编号为 2609.11912。这篇20页论文的作者来自三家欧洲机构：慕尼黑工业大学的 Patrick Becker、牛津大学的 Matthias Greger，以及巴黎九大/CNRS 旗下 LAMSADE 实验室的 Dominik Peters。
论文解决的，是批准制委员会选举理论中一个长期悬而未决的问题。2017年，Aziz 等人在研究中引入“核”的概念，并提出了一个疑问：在批准制委员会选举中，“核”是否恒非空？此后近十年的研究中，这个问题一直未被攻克，Lackner 与 Skowron 在2023年的综述中仍将其列为开放问题。
批准制委员会选举，指的是一类基于“支持/不支持”二值表态的选举理论模型。所谓“核”，是这一理论中用来定义“绝对公平”的数学概念。“核恒非空”意味着：在任意批准制选举配置下，都必定存在一个绝对公平的委员会。
根据论文中的标注，这项工作的证明由 OpenAI 于2026年9月3日发布的 GPT-6 Astra 辅助完成。值得注意的是，按照问题的最初设计，任务本意是构造一个“核为空”的反例，以证明公平委员会并非总是存在。据相关报道，GPT-6 Astra 给出的结论却截然相反：它证明这样的反例根本不存在，“核”恒非空，即绝对公平的委员会在任何情况下都必定存在。
更漂亮的是，模型还提出了一种基于熵类目标函数（报道中称为“调和熵”）的全新投票规则。论文证明，该目标函数的局部最优解天然落在“核”之内，因此通过多项式时间算法即可找到满足核心公平性要求的委员会。这条路把存在性证明转化成了算法构造。
这项成果的另一亮眼之处，在于其“人机协作”的模式。论文致谢披露了具体分工：人类研究员负责定方向、把逻辑关，AI 则承担知识库检索、计算演练以及提供跳跃式灵感。协作过程中，人类从林达尔均衡近似系数2.065这一起点出发，不断对模型施压、改进边界，最终才得到严谨的证明。
从这一过程来看，AI 的角色已经不只限于完成人类指派的计算任务，它更像是研究组的一员——提供思路，接受反问，并在互动中逼近正确结论。有观点据此认为，AI 正在从“解题机”进化为“规律发现者”。
值得注意的是，在论文之前，围绕 GPT-6 Astra 的数学能力已有不少讨论。该模型发布次日即有报道称，它已解决了 FrontierMath Erdős 基准中的五道难题，是该基准中唯一得分的模型，得分率仅为3%。FrontierMath 由 Epoch AI 开发，邀请70多位数学家命题，被视为评估前沿模型数学能力的顶级基准之一。
不过，此次事件中“重大进展级”标签并未得到官方来源的明确佐证。同时，著名数学家陶哲轩在2026年国际数学家大会（ICM）上曾批评，此类 AI 辅助成果是在“非受控科学条件”下取得的，其结论需要经过更严格的验证才能被学术界接受。FrontierMath 基准测试的设立，恰恰是对这类批评的回应——用标准化测试来衡量 AI 在数学推理上的真实水平。
分析认为，GPT-6 Astra 此次证明的数学价值几何，仍需要数学界后续的复现与检验确认。但无论如何，这项研究已经展示了一种 AI 与人类研究员协作解决长期开放问题的新范式——人类提供方向与质疑，AI 提供能力与灵感，最终成果可能远超过任一方单独所能达到的高度。
滇公网安备 53252802528133号