2026 Wolfram Summer Research Institute: Opening Keynote
The Stephen Wolfram Podcast
00:00
Automated Proofs, Game of Life, and Engineering
Wolfram discusses an automated theorem result, six-decade Game of Life engineering, and modularity versus search.
Play episode from 58:10
Transcript
