4 ms·
Seems slightly less rich than Doug Lenat's Automated Mathematician (which in turn led to Eurisko which was one of the earliest genuinely interesting AI systems)
by thom 7y ago
Seems slightly less rich than Doug Lenat's Automated Mathematician (which in turn led to Eurisko which was one of the earliest genuinely interesting AI systems):
https://en.wikipedia.org/wiki/Automated_Mathematician https://en.wikipedia.org/wiki/Automated_Mathematician
- beagle3 7y agoThe story of Eurisko doesn't add up. So advanced for its time, not replicated for 30 years (or at all) and Lenat lost the source code and was not interested in doing anything similar again, with the next version (Cyc, IIRC) not getting anywhere close? I would guess there was a lot more manual handholding that was not documented.
- thom 7y agoYes, I mostly agree here. But even with that manual handholding, it's no different from current, mostly-supervised AI approaches. Even if you think of Eurisko as a very clever optimiser when posed problems in a certain way, it clearly delivered some interesting results. Also, you _can_ find the source code for large parts of Eurisko if you look hard enough, I believe. Cyc never seemed in the least bit interesting to me, tbh. Even today several "we taught our AI common sense!" articles have hit HN, and it's still not _really_ true.