# GPT-6 Astra 解决 FrontierMath 首个重大进展问题

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

## AI 摘要

GPT-6 Astra 帮助解决了一个自 2017 年以来悬而未决的数学开放问题，这也是 FrontierMath 首个"重大进展"级问题。Astra 并非找到反例，而是证明了反例不可能存在，并开发了证明这一结论的核心机制。据称该模型还提出了主要思路与证明，包括一种新的投票规则。

## 正文

sam is right about the upcoming Astra successor can do things even the best mathematicians can't

here, it seems like gpt-6-astra came up with the primary idea and proof, including a new voting rule to solve the problem, which goes beyond the "LLMs just apply existing techniques" cope

### 引用推文

> Haider.：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 important...