S1E41 - After Math Falls, What's Next? with Julia Kempe (NYU/Meta)

Julia Kempe on Why Math Will Fall Next, Superhuman Provers, and the Return of the Renaissance Researcher

In this episode, we sit down with Julia Kempe, a Professor at NYU's Center for Data Science and researcher at Meta FAIR's Foundations of Reasoning team,  for a wide-ranging conversation on the future of AI research.

We dig into why verifiable domains like mathematics may be on track to "fall" the way Go did. With formal verification through Lean and the Mathlib infrastructure, LLM agents can now generate and check proofs at scale, and J...