Last post on their forum a month ago, they claimed that they were live and having progress, but I dunno ...
What I'm afraid of is that perhaps they have been shifting what their goal is a little too often, which of course would delay their time to market.
For example, I think they have shifted from straightforward fixed-SIMD to scalable vectors of some sort, and last I heard they were talking about AI .. which usually means that there's some kind of support for matrix multiplication.
There were some fascinating concepts being explored in that project. It's a shame nothing came of it.