币界网消息，OpenAI宣布其未发布的模型'Astra'成功解决了10个几十年来无人能解的数学难题。这些问题涵盖量子复杂性、后量子密码学和群论。所有十个证明均已正式验证，成本约为2000美元的代币。