zlacker

Lenat's post about Wolfram Alpha, mentioned in the OP, was discussed (a bit) at the time:

Doug Lenat – I was positively impressed with Wolfram Alpha - >>510579 - March 2009 (17 comments)

And of course, recent and related:

Doug Lenat has died - >>37354000 - Sept 2023 (170 comments)