AI Reshaping Mathematics And Magic
43:00–48:07 · 307s
Matt Baker lays out why AI is both exhilarating and terrifying for mathematicians, shares concrete ways he already uses it to prove lemmas and write magic scripts, and predicts it will soon take over large swaths of math.