# FrontierMath 首个 Major Advance 问题被解决，GPT-6 Astra 参与证明

- 来源：Haider. (@haider1)
- 发布时间：2026-09-19 02:00
- AIHOT 分数：71
- AIHOT 链接：https://aihot.news/items/cmu79m6990yuyrowkar9la3pq
- 原文链接：https://x.com/haider1/status/2101008356118769823

## AI 摘要

FrontierMath 的首个 Major Advance 级别问题被解决，作者称 GPT-6 Astra 帮助解决了一个 2017 年以来悬而未决的开放问题。

## 正文

FrontierMath's first "Major Advance" problem has been solved

GPT-6 Astra helped resolve a major open problem that had been open since 2017 -- but more importantly, Astra didn't find the counterexample; it proved one cannot exist and developed the core machinery to show why

### 引用推文

> Epoch AI：Another problem from FrontierMath: Open Problems has been solved! The solution was elicited by Becker, Greger, and @DominikPeters in an interactive session with...