Emily Riehl, A New Paradigm for Mathematical Proof? | Natural Philosophy Symposium 2025 YouTube video by Hopkins Natural Philosophy Forum

Getting the gist on proof policy agreement youtu.be/fzxW2XJS6SE?... #Formalization #NaturalLanguage #VibeProofingSlop #NetworkAlignment