一句话看懂：GPT-6 Astra 与三位人类研究者合作，在 FrontierMath 基准上解决了一道 2017 年起悬置的”重大突破”级开放问题——证明”核心”不可能为空，即绝对公平的委员会在任何情况下都存在。这是 AI 首次参与攻克该级别数学难题，Epoch AI 榜单已为此新增”Human + AI”标签。
事件核心：发生了什么
这道题出自基于认可制的委员会选举理论：原本研究者想找一个”核心为空”的反例，说明公平分配有时做不到。GPT-6 Astra 给出了相反结论——这样的反例根本不存在，并进一步基于”调和熵”发明了一种新投票规则，给出多项式时间算法，证明其局部最优解已满足”核心”要求。协作中人类负责方向设定与逻辑框架，模型承担知识库检索、计算推演和关键灵感。据 AIbase 报道，时间点为 2026 年 9 月 20 日，这是 AI 首次解决”重大突破”级数学问题。
为什么重要
区别在于角色变化：过去大模型在数学上主要表现为解题与推理加速，这次它参与的是”发现规律”——提出新规则、新算法，而非验证已有猜想。这直接影响评测体系：维护 FrontierMath 的 Epoch AI 新增”Human + AI”状态标签，意味着人机联合成果被单独计分，不再与纯模型成绩混同。对行业而言，这为”AI 作为科研协作者”提供了可核查的样本，也可能推动更多闭源与开源模型把训练、推理能力对标到真实研究任务上，而非只刷标准题库。
对用户/开发者/创作者的影响
开发者可以关注两个方向：一是把大模型当作”假设生成器”接入自身工作流，例如用 API 做候选方案枚举后由人类筛选；二是这类数学发现往往伴随新算法，若”调和熵”相关投票规则后续开源，可能进入推荐、资源分配、评审系统等工程场景。研究者与创作者则需重新定位自身价值——方向判断、问题定义和结果校验仍由人主导，”提示工程”只是表层，真正的门槛在于能否提出好问题。企业采购侧，目前公开信息显示尚无配套产品发布，暂不宜据此做工具选型决策。
AI 工具推荐
想把多个 AI 模型放在一个入口？
GamsGo AI 集成 ChatGPT、DeepSeek、Gemini、Claude、Midjourney、Veo 等常用模型，适合写作、绘图、视频和日常 AI 工作流。
推广链接：通过此链接购买，我可能获得佣金，不影响你的价格。
值得关注的后续
一是该成果是否经过同行评审、以论文形式公开，新投票规则的证明细节能否复现；二是 Epoch AI 的”Human + AI”标签是否会扩展到更多基准，改变模型排名口径；三是 OpenAI 之外的其他模型厂商是否跟进发布类似的数学发现案例，以及相关算法是否开源落地。
来源：AIbase
