Theorem Proving

topic on 1 show · 1 statements across 1 episodes

1 statements about Theorem Proving, every show

NO PRIORS Insight

Sartran: Human creativity matters more in theory building than theorem proving

“It seems that there is more room for human creativity, human taste human skill in building theories than in the proof part.”

Laurent Sartran Nov 14, 2024 ▶ 37:04 No Priors Ep. 90 | With Google's DeepMind's AlphaProof Team

← every entity, every show

Made with StarZero

Turn any episode into a week of clips.

This entire site, thousands of episodes across every show transcribed, diarized, checked and made playable, runs on the StarZero media pipeline. Drop in your own episode and the podcast clipper finds the moments worth sharing, cuts them, captions them, and reframes them for every feed.

Try the podcast clipper Learn more