Chris Hanson on Nostr: Close to 50 years if you include Lenat’s original work on Automated Mathematician ...
Close to 50 years if you include Lenat’s original work on Automated Mathematician and then Eurisko, which are what led to the still-ongoing Cyc project.