AI圈报
模型发布 / 更新普通

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

信息来源:X:Haider (@haider1)·
原始标题:sam is right about the upcoming Astra successor can do things even the best mathematicians can't h…

内容摘要

GPT-6 Astra 帮助解决了一个自 2017 年以来悬而未决的数学开放问题,这也是 FrontierMath 首个"重大进展"级问题。Astra 并非找到反例,而是证明了反例不可能存在,并开发了证明这一结论的核心机制。据称该模型还提出了主要思路与证明,包括一种新的投票规则。
内容层级普通情报
发布时间(北京时间)
本站收录时间(北京时间)
信息来源X:Haider (@haider1)
站内情报编号intel-718406c6dcfd445725332bf9