Laurent Sartran, a researcher at Google DeepMind working on AlphaProof, explains the core architectural limitations of their AI formal mathematics system.
“Maybe the main thing that Alphaproof doesn't do is theory building. It doesn't invent its own theories.”
quote is from the automated transcript, cleaned for reading:
filler sounds and stutters are removed, nothing is rephrased. names can be misheard
(the analysis reads context, assessments check outside sources). how →
More from Laurent Sartran
Disclosure
Sartran: AlphaProof develops an alien style by learning from self-discovered proofs
“The way alpha proof currency operates there is that it discovers its own proofs, and when they are valid, it learns from them and develop its own style which has been commented upon as looking, yeah, quite, quite alien.”
Laurent SartranNov 14, 2024▶ 24:57No Priors Ep. 90 | With Google's DeepMind's AlphaProof Team
AssertionNot checkable as stated
Sartran: Translating all known human proofs would save years of compute
“With more supervised data, we can avoid the exploration problem, and we could translate all the proofs that are known to man, and that certainly would make the agent much better, and that would save us years of compute for sure.”
Laurent SartranNov 14, 2024▶ 26:07No Priors Ep. 90 | With Google's DeepMind's AlphaProof Team
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 SartranNov 14, 2024▶ 37:04No Priors Ep. 90 | With Google's DeepMind's AlphaProof Team
AssertionSupported
Sartran: Formal code verification remains bottlenecked by human proof-writing
“So it's already done for very critical domain, like avionics cryptography where it's very important, but it has to be done by humans.”
Laurent SartranNov 14, 2024▶ 21:00No Priors Ep. 90 | With Google's DeepMind's AlphaProof Team
Made with StarZero
Turn any episode into a week of clips.
This entire site, over 100 episodes 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.
We use essential cookies to make the site work. With your permission we
also use analytics cookies (Google Analytics and Mixpanel) to understand
usage and improve StarZero. See our Cookie Policy.
