GPT-6 Astra 据报道提供了关键思路和证明，帮助研究者解决一个自 2017 年悬而未决的投票理论问题，这也是 FrontierMath 首个被标记为 Major Advance 的问题。图中显示该问题由 Becker、Greger、Peters 解决，作者将主要思路和证明归于 GPT-6 Astra 与一次长时间的交互会话；Peters 表示没有 Astra 团队可能找不到证明，但 Astra 也无法靠单条提示词直接解决，因此被标记为 human + AI 解法。