突发消息：OpenAI表示，他们尚未发布的模型名为“Astra”，破解了人类数十年来无法解决的10个数学难题。 这些难题涉及量子复杂性、后量子密码学和群论。 所有十个证明都已正式验证，花费约$2,000的代币。