# GPT-6 Astra 协助解决 FrontierMath 首个 Major Advance 问题

- 来源：Chubby♨️ (@kimmonismus)
- 发布时间：2026-09-19 21:30
- AIHOT 分数：54
- AIHOT 链接：https://aihot.news/items/cmu8fsrau1jomrogra29fdc4l
- 原文链接：https://x.com/kimmonismus/status/2101302810596016547

## AI 摘要

GPT-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).