OpenAI内部Astra模型据称解决数学、量子复杂性和理论计算机领域十个开放问题。
推荐理由：若属实，Astra把LLM推向可产出新定理的科学推理层级，关键不在聊天能力，而在能否经同行验证为真实数学贡献。
阅读原文