RecodeX 重构消息，OpenAI称其下一代大模型Astra的内部版本在数学、量子复杂性和理论计算机科学的10个问题上产生了成果。