Math Needs Code Too - Adam Marblestone and Dwarkesh Patel #science #research #mathematics

From whiteboards to Lean and verifiable programming, you're now in the loop on the latest in mathematical innovation, courtesy of Adam Marblestone—be sure to explore his insights at Longitudinal Science.

#mathematics #podcast #research

human conversations

@trndgtr

Full podcast: https://www.youtube.com/watch?v=_9V_Hbe-N1A