AI 导读
FrontierMath 首个 Major Advance 问题被解出，FrontierMath 将该解法标记为人类与 AI 协作，求解者把核心思路与证明归功于 GPT-6 Astra 及一段长时间交互会话。这是自 2017 年未解的投票理论问题，求解者 Peters 表示若无 Astra 团队可能找不到证明，但 Astra 也无法仅凭一条简单提示独立解出。FrontierMath 同时说明该解证明原题按原先陈述并不可解，仍按政策记为已解决。
正文
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).
来源：@kimmonismus · x.com