Layla Sloman
Journalist and author of the Quanta Magazine story on formalizing mathematics and the proof assistant Lean, reporting on the philosophical and practical tensions in modern math.
Best podcasts with Layla Sloman
Ranked by the Snipd community
26 snips
Apr 7, 2026 • 29min
The Fundamental Tension at the Heart of Math
Layla Sloman, journalist who covered formalizing mathematics and the Lean proof assistant, guides listeners through the clash between creativity and formal rigor. She explains why proof assistants matter now. She outlines Lean’s workings, the labor of building a formal library, and the risks of homogenizing mathematical practice.
15 snips
Dec 9, 2025 • 26min
How Hard Is It to Untie a Knot?
Layla Sloman, a science and mathematics writer, dives into the fascinating world of knot theory. They discuss the importance of classifying knots and the complexities involved in this mathematical pursuit. Layla highlights a groundbreaking discovery that undermines previous theories about knot differentiation and introduces the concept of the unknotting number. Examples like the trefoil knot showcase these ideas, leading to counterintuitive results. Intriguingly, new research opens doors for fresh explorations in knot theory and its real-world applications.
