Yep. With the official announcement being made here:https://medium.com/bitfinex/announcing-eosfinex-69eea273369f.
I think that a lot of EOS investors don't even know about this new project that bitfinex is taking on which is why the coin hasn't reached all time high levels yet. Once they catch onto this news, price will explode imo.
As i've said before, expect a 2-3x price jump from now to near the EOS main net launch. Right now could be a good time to buy for sure.