OpenAI 发布 Astra 模型相关论文及 Lean 验证结果
OpenAI 用 Astra 模型攻克 10 道数学难题，数学家既兴奋又担忧
24 HOURS
本事件热度走势
当前热度 9峰值 10（8月11日 19:29）近24小时变化 —
移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。
TIMELINE
1 条公开报道 · 官方一手 0 条 · 最新在前报道时间线
- OpenAI 用 Astra 模型攻克 10 道数学难题，数学家既兴奋又担忧
OpenAI 宣布其未发布的 Astra 模型解决了 10 道长期悬而未决的数学难题，涵盖球体堆积、纠错码、非 sofic 群存在性等领域，并发布超 250 页论文及 Lean 验证结果。