Stephen Wolfram: Physicist, computer scientist, and entrepreneur; creator of Wolfram Alpha, Mathematica, and the Wolfram Language, and author of A New Kind of Science.
What this episode covers
In this MIT 6.S099 lecture and Q&A hosted by Lex Fridman, Stephen Wolfram demonstrates the Wolfram Language and explains how Wolfram Alpha answers real-world questions by combining vast curated data with computation rather than pure reasoning. He argues that artificial general intelligence comes from harnessing the 'computational universe' of all possible programs, where even tiny rules like cellular automaton rule 30 produce irreducible complexity. He introduces the principle of computational equivalence and computational irreducibility, contending there is no bright line between intelligence and mere computation. Wolfram then explores the harder problem: defining human goals and purpose for AI, why a simple set of rules (like Asimov's laws) is mathematically impossible, and how education and human meaning evolve alongside computation.
The guest's own work
A New Kind of Science
Stephen Wolfram
“in his book a new kind of science he has explored and revealed the power beauty and complexity of cellular automata”— Lex Fridman
Wolfram Alpha
Stephen Wolfram
“he's created the Wolfram Alpha competition knowledge engine created Mathematica that has now expanded to become Wolfram language”— Lex Fridman
Mathematica
Stephen Wolfram
“created Mathematica that has now expanded to become Wolfram language”— Lex Fridman
Wolfram Language
Stephen Wolfram
“the thing that sort of made building wolf now for possible was this language wolf and language which started with Mathematica”— guest
Idea Makers
Stephen Wolfram
“I even wrote this little book called idea makers which is about biographies of a bunch of people who for one reason or another I've written about”— guest
An Elementary Introduction to the Wolfram Language
Stephen Wolfram
“I wrote this book for this is a book kind of for kids about often language except it seems to be useful to adults as well”— guest
Also referenced (named, not recommended)
Arrival
Denis Villeneuve
“both he and his son were involved in helping analyze create the alien language from the movie arrival of which they use the Wolfram language”— Lex Fridman
Big reveals from this episode
- For Wolfram Alpha's natural language understanding, the critical breakthrough was 'just knowing a lot of stuff' about the world, not clever parsing.
- Wolfram Alpha 'cheats' versus older AI by solving equations of motion directly instead of using human-style reasoning to compute physics.
- Rule 30's center column was used as Mathematica's random number generator for years before being retired for a more efficient one.
- Wolfram Alpha's step-by-step solutions are 'completely fake', invented to tell humans a story, with nothing to do with how the integral is actually computed.
- Wolfram concluded there is no 'magic bullet of intelligence', it's all just computation, which is what prompted him to build Wolfram Alpha.
- Wolfram argues you can almost mathematically prove a single golden rule for AI is impossible; computational irreducibility forces an endless hierarchy of patches.
- Wolfram has logged every keystroke and screenshots of his computer for ~30 years, and believes there is likely enough data to reconstruct a bot of himself.
- Wolfram's sobering vision of the AGI future: trillions of uploaded souls in a box that to us look like they're playing video games forever.
Worth remembering
- It took Marvin Minsky about five minutes to accept that Wolfram Alpha was a question-answering system that actually worked.
- Wolfram tried to assemble a primitive version of Wolfram Alpha at age 12, before it was technologically possible.
- The core Wolfram Alpha system is about 15 million lines of Wolfram Language code plus several terabytes of raw data.
- Wolfram searched possible axiom systems and found the simplest single axiom that generates all of Boolean algebra.
- A friend's project to send discs representing human civilization's achievements on spacecraft inspired a Wolfram blog post.
- Wolfram Alpha is the number one reporter of errors in nearly all standardized data sources because it cross-checks domains.
- Leibniz, originally trained as a lawyer, tried 300 years ago to reduce all legal questions to logic so a machine could decide cases.
- A nested fractal (Sierpinski-like) tile pattern from 1210 AD went undiscussed by art historians until fractals became 'a thing' ~25 years ago.
- Wolfram says enthusiasm for teaching coding has cycled up and down for about 40 years and is heading down again.