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.