PERSON DIRECTORY
Jeremy Avigad
Jeremy Avigad appears in 1 indexed conversation 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.