1Geordie Williamson: Neural Networks for Mathematical Discovery (opens in new tab)(youtube.com)1AbstractPlay4mo ago0
2Is This the End of Handwritten Math? Introducing Lean [video] (opens in new tab)(youtube.com)3AbstractPlay4mo ago0
3Why Are LLMs Not Better at Finding Proofs? [video] (opens in new tab)(youtube.com)6AbstractPlay9mo ago1
4How we might have viewed the continuum hypothesis as a fundamental axiom (opens in new tab)(youtube.com)1AbstractPlay10mo ago0