Douglas Lenat's Automated Mathematician Source Code

riverforest · 2026-03-30T14:47:02 1774882022

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.

adamzwasserman · 2026-03-30T14:50:29 1774882229

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.

reedf1 · 2026-03-30T08:47:03 1774860423

Includes D&D character sheet:

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

leoc · 2026-03-30T10:04:45 1774865085

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 .

jagged-chisel · 2026-03-30T10:12:17 1774865537

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…

lproven · 2026-03-30T13:50:49 1774878649

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

thesz · 2026-03-30T10:24:45 1774866285

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.