Demand that AI proofs also explain Mathematicians Emily Riehl and Daniel Litt d — Science Friday | Great Life Lessons