Cyc has not accelerated and thus does not support designers' theories
Cyc was begun in 1984 and intended to be a decade-long project. The "hope and expectation" was that by mid-90s, humans would be "tutors, answering Cyc's questions about the difficult sentences and passages." http://bit.ly/5EmDZR That goal seems as distant today as it was then.