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

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