GPT-6 Astra与3名研究员完成一项自2017年提出的开放数学问题，成为 FrontierMath 基准中首个被攻克的“重大进展”级难题。相关 arXiv 论文称，Astra 提出了新的投票规则，并证明其满足 core+。论文作者 Dominik Peters 表示，这一证明形式优美，且相关技术可能推广到其他模型。Epoch AI 已将该题标记为“Human + AI”解决。