PERSON DIRECTORY
Paul Lessard
Paul Lessard appears in 2 indexed conversations across Machine Learning Street Talk. This directory brings every appearance, source, TL;DR, digest, and transcript into one searchable feed.
Mathematics Just Changed Forever — Kevin Hartnett
Tim ScarfeKevin HartnettLeonardo de MouraJeremy AvigadKevin BuzzardPaul Lessard
AI mathematics is advancing through formal and natural-language routes: AlphaProof reached silver-medal level at the 2024 IMO using Lean and substantial compute, while Google DeepMind and OpenAI reported gold-level natural-language results in July 2025.Lean can filter candidate proofs, and Buzzard’s team used AI to uncover missing assumptions in published Annals statements involving four Fields Medalists, underscoring that trust still depends on definitions and specifications.
Making Deep Learning Perform Real Algorithms with Category Theory
Tim ScarfeAndrew DudzikPetar VelichkovichTaco CohenBruno GavranovićPaul Lessard
Frontier models can spend “hundreds of billions of multiplications” per token yet fail arithmetic changes, separating scale-driven fluency from reliable computation.Category theory extends geometric deep learning’s data-saving symmetry priors toward partial composition, recursion, coherent weight sharing, and neural implementations of carrying.The commercial question is whether this yields more stable, efficient inference or hybrid systems with correctness guarantees, rather than another architectural abstraction.