OpenAI内部版Astra声称解决数学、量子复杂性和理论计算机科学中的10个开放问题。
推荐理由：若“10个开放问题”经同行与形式化验证成立，Astra代表科学推理从竞赛题迈向研究级发现；真正变量是证明可审计性而非宣传口径。
阅读原文