RecodeX 重构消息，OpenAI Astra用2000美元解决10道世纪数学难题，引发对数学定义的重新思考。