All-In · 5 min instead of 1 h 33 m · Oct 10, 2026
Math proofs fall fastest where the whole test loop runs in software
David FriedbergHost
CEO, Ohalo
Founded The Climate Corporation, sold to Monsanto for about $1.1B in 2013.
Chamath PalihapitiyaHost · Founder & CEO, Social Capital
Led Facebook's growth team; his firm backed Slack and AI chipmaker Groq.
Jason CalacanisHost · Founder & CEO, LAUNCH
Early Uber angel; sold Weblogs Inc. to AOL; hosts This Week in Startups.
David SacksHost · Co-founder & partner, Craft Ventures
PayPal's first COO, founded Yammer; White House AI & crypto czar 2025–26.
About this segment
Friedberg says OpenAI's proofs worked because every guess can be tested on a computer in seconds, in parallel. Where a loop needs the physical world, as in drug discovery or trucking, AI speeds it up far less.
From “Is Claude Conscious? Pope Rejects, Model Welfare Movement, OpenAI's Math Backlash, France Riots”, Oct 10, 2026. Watch the full episode
“The real question for AI is where can you apply that loop model in a way that you can make a better prediction or better idea, each loop”
David Friedbergat 41:01 · All-In41:01Takeaways
- AI gains come from loops: propose an idea, test it, revise, repeat
- Math loops run fully in silico, so they can be parallelized and shortened
- Physical-world steps cap speed, which is why truck drivers haven't been replaced
In this episode
Full episode39:21Math proofs fall fastest where the whole test loop runs in software4:36
- 14:04Anthropic's Claude constitution may undermine the alignment it claims2:01Up next