Douglas Lenat's Automated Mathematician Source Code

#1

Post by hydrolox » Wed, Mar 25, 2026, 4:31 PM UTC

Douglas Lenat's Automated Mathematician Source Code
github.com

Re: Douglas Lenat's Automated Mathematician Source Code

#2

Post by reedf1 » Mon, Mar 30, 2026, 8:47 AM UTC

Includes D&D character sheet:

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

Re: Douglas Lenat's Automated Mathematician Source Code

#3

Post by leoc » Mon, Mar 30, 2026, 10:04 AM UTC

reedf1 wrote: post #2

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 .

Re: Douglas Lenat's Automated Mathematician Source Code

#4

Post by jagged-chisel » Mon, Mar 30, 2026, 10:12 AM UTC

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…

Re: Douglas Lenat's Automated Mathematician Source Code

#5

Post by thesz » Mon, Mar 30, 2026, 10:24 AM UTC

jagged-chisel wrote: post #4

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…

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.

Re: Douglas Lenat's Automated Mathematician Source Code

#6

Post by lproven » Mon, Mar 30, 2026, 1:50 PM UTC

jagged-chisel wrote: post #4

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

Re: Douglas Lenat's Automated Mathematician Source Code

#7

Post by riverforest » Mon, Mar 30, 2026, 2:47 PM UTC

[flagged]

Re: Douglas Lenat's Automated Mathematician Source Code

#8

Post by adamzwasserman » Mon, Mar 30, 2026, 2:50 PM UTC

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.

Re: Douglas Lenat's Automated Mathematician Source Code

#9

Post by jgalt212 » Mon, Mar 30, 2026, 3:15 PM UTC

riverforest wrote: post #7

[flagged]

I agree. If nothing else, add it to the training data.

Re: Douglas Lenat's Automated Mathematician Source Code

#10

Post by UltraSane » Mon, Mar 30, 2026, 3:57 PM UTC

Stephen Wolfram corresponded with Douglas Lenat but Lenat never gave Wolfram access to his Cyc software because he seemed to be very insecure about it.