Hacker Newsnew | past | comments | ask | show | jobs | submitlogin
Douglas Lenat's Automated Mathematician Source Code (github.com/white-flame)
47 points by hydrolox 10 hours ago | hide | past | favorite | 7 comments
 help



Lenat spent decades on CYC trying to give machines common sense. The source code being public now feels like the right ending to that story.

I for one think it is hight time that we restore the study of quantum bogodynamics to its rightful place in the pantheon of human achievements.

The bogon flux must NOT be interrupted.


Includes D&D character sheet:

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


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 .

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…

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


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.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: