Episode #234 from 2:29:15
Automated proof systems
Stephen Wolfram and Lex Fridman discuss automated proof systems.
October 27, 2021Unknown19 chaptersStephen Wolfram
People
Why this moment matters
Stephen Wolfram and Lex Fridman discuss automated proof systems.
Starts at 2:29:15
People and topics
People