GPT-6 Astra 帮助解决了一个自 2017 年以来悬而未决的数学开放问题，这也是 FrontierMath 首个"重大进展"级问题。Astra 并非找到反例，而是证明了反例不可能存在，并开发了证明这一结论的核心机制。据称该模型还提出了主要思路与证明，包括一种新的投票规则。 🔗 阅读原文 via AIHOT · https://aihot.news/items/cmu7g1nsk0900rogr4dz68569
信息源：AI HOT · 全部动态
- 原文链接：GPT-6 Astra 解决 FrontierMath 首个重大进展问题
- 作者：X：Haider (@haider1)
- 发布时间：2026/09/19 05:00
评论0