Diverging limits podcast
Diverging Limits is a podcast of conversations with mathematicians, including on Lean formalization and AI in mathematics. All episodes are on the Diverging Limits YouTube channel.
Episodes:
Episode 1: Matthew Ballard on Lean Formalization and AI in Mathematics
Watch : here
Episode 2: Scott Armstrong
Watch : here
Episode 3: Xiaoyu He: AI safety for mathematicians
Watch : here
Episode 4: Andrew Critch – Math and AI Safety
Watch : here