在AI数学基准FrontierMath上，GPT-6 Astra与三位研究员合作解决一道2017年提出的“重大进展”级开放问题。该问题涉及批准式委员会选举中“核是否为空”，研究团队证明相关反例不存在，即满足核条件的公平委员会始终存在。模型还提出基于“调和熵”的投票规则，并给出多项式时间算法，证明局部最优解满足核要求。Epoch AI已为该成果新增“Human + AI”状态标签。
在AI数学基准FrontierMath上，GPT-6 Astra与三位研究员合作解决一道2017年提出的“重大进展”级开放问题。该问题涉及批准式委员会选举中“核是否为空”，研究团队证明相关反例不存在，即满足核条件的公平委员会始终存在。模型还提出基于“调和熵”的投票规则，并给出多项式时间算法，证明局部最优解满足核要求。Epoch AI已为该成果新增“Human + AI”状态标签。