Douglas Lenat's Automated Mathematician Source Code
41 points
4 days ago
| 2 comments
| github.com
| HN
reedf1
5 hours ago
[-]
Includes D&D character sheet:

https://www.saildart.org/NWOR[AM,DBL]1

reply
leoc
3 hours ago
[-]
More SAIL emphemera: a short film of the regular SAIL volleyball game, starring John McCarthy, Les Earnest and special guest, Xerox PARC's Bob Taylor https://www.youtube.com/watch?v=JaoBt_yBXg0 .
reply
jagged-chisel
3 hours ago
[-]
Can someone in the know give a little summary of what we’re looking at here? What’s the purpose? How effective is the code/system at accomplishing its purpose? Etc…
reply
lproven
10 minutes ago
[-]
Pioneering and seminal early Lisp AI work, ~50 years before LLMs. From the mind behind the Cyc project.

https://en.wikipedia.org/wiki/Automated_Mathematician

reply
thesz
3 hours ago
[-]
Automated Mathematician was what lead to Eurisko: https://en.wikipedia.org/wiki/Eurisko

Eurisko demonstrated superhuman abilities to play strategy games in early 1980-th, and even used strategies from VLSI place-and-route task in planning fleet placement in games. This is knowledge transfer between tasks.

reply