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