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.
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…
Automated Mathematician is a historically significant step in the evolution of classic AI based on evaluating symbols and rules. This branch of AI seems to have hit a dead end although one can never be certain of such things.
Obviously stuff like LLMs produces much more impressive results as of now, that's a given. OTOH who knows - neural networks have also had a long-ish period when OCR seemed to be the pinnacle of what they can deliver before they exploded via Deep Learning/Transformers/LLMs and what not.
Indeed, AFAIK neural networks have caused at least two AI winters before finally breaking through thanks to a few good new ideas and the fact that the needs of computer games incidentally led to the development of a big industry of specialized, programmable, high-performance dot product calculators.
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.
11 comments
https://www.saildart.org/NWOR[AM,DBL]1
Obviously stuff like LLMs produces much more impressive results as of now, that's a given. OTOH who knows - neural networks have also had a long-ish period when OCR seemed to be the pinnacle of what they can deliver before they exploded via Deep Learning/Transformers/LLMs and what not.
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.
https://en.wikipedia.org/wiki/Automated_Mathematician
The bogon flux must NOT be interrupted.