Diverging Limits Episode 2: Scott Armstrong

Scott Armstrong joins me to talk about AI and the future of mathema...

421

Diverging Limits · Sep 25, 2026 · 11:33 PM UTC

Matt Ballard describes possible paths for counterexamples to Hodge Conjecture youtube.com/watch?v=40bQ6M-q…

Matt Ballard offers thoughts on ways to disprove the Hodge Conjecture

Tropical Geometry

102

Diverging Limits · Sep 13, 2026 · 10:26 PM UTC

Diverging Limits Episode 1: Matthew Ballard on Lean Formalization and AI... youtu.be/bV74Wt0XkWU?si=puuM… via @YouTube

In the first episode of Diverging Limits, Micah talks with Matthew ...

7,607