Machine Learning Street Talk (MLST) cover image

The Day AI Solves My Puzzles Is The Day I Worry (Prof. Cristopher Moore)

Machine Learning Street Talk (MLST)

00:00

Inventing Representations Is Core Intelligence

  • Human solvers invent and switch between many kinds of partial representations and heuristics on the fly, which guides efficient search.
  • Moore suggests AI must learn to invent variable types and mathematizations, not just solve fixed formalizations.
Transcript
Play full episode

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app