Yeah it is hardly low profile. It was a very well funded project that promised the moon and failed to deliver despite absorbing a massive amount of DoD money. A lot of AI researchers at the lab I worked at weren't big fans as there was the sense that Cyc was a shining example of how money spent on symbolic AI was just wasted.

Presuming they've actually been diligently working away, it makes an interesting test of the "we just haven't done it hard enough" hypothesis.