2Geordie Williamson: Neural Networks for Mathematical Discovery (opens in new tab)(youtube.com)Video1AbstractPlay7mo ago0Save
3Is This the End of Handwritten Math? Introducing Lean [video] (opens in new tab)(youtube.com)Video3AbstractPlay7mo ago0Save
4Why Are LLMs Not Better at Finding Proofs? [video] (opens in new tab)(youtube.com)Video6AbstractPlay1y ago1Save
5How we might have viewed the continuum hypothesis as a fundamental axiom (opens in new tab)(youtube.com)Video1AbstractPlay1y ago0Save
