GPT-6 Astra 据报道提供了关键思路和证明，帮助研究者解决一个自 2017 年悬而未决的投票理论问题，这也是 FrontierMath 首个被标记为 Major Advance 的问题。图中显示该问题由 Becker、Greger、Peters 解决，作者将主要思路和证明归于 GPT-6 Astra 与一次长时间的交互会话；Peters 表示没有 Astra 团队可能找不到证明，但 Astra 也无法靠单条提示词直接解决，因此被标记为 human + AI 解法。
Chubby♨️@kimmonismusGPT-6 Astra 据报道提供了关键思路和证明，帮助研究者解决一个自 2017 年悬而未决的投票理论问题，这也是 FrontierMath 首个被标记为 Major Advance 的问题。图中显示该问题由 Becker、Greger、Peters 解决，作者将主要思路和证明归于 GPT-6 Astra 与一次长时间的交互会话；Peters 表示没有 Astra 团队可能找不到证明，但 Astra 也无法靠单条提示词直接解决，因此被标记为 human + AI 解法。
FrontierMath’s first “Major Advance” problem has been solved with GPT-6 Astra
This really is significant because GPT-6 Astra reportedly supplied the key idea and proof that helped researchers resolve a voting-theory problem open since 2017. It demonstrates one thing clearly: AI’s potential to contribute *original* mathematical insights (and there are still people who think LLMs lack creativity).
来源：Chubby♨️· x.com