Comment by Rochus

Thirteen hours later still no mention on the Cycorp website. Also the press doesn't seem to notice. Pretty odd.

The post originally pointed to Lenat's Wikipedia page; now it's an obituary by Gary Marcus which seems more appropriate.