The robots are at it again, and this time they’re solving, and breaking(?), math and cryptography! Things have been happening in the lattice corner including new leapfrogging complexity results in the closest vector problem (CVP), AND a possible poly-time quantum attack against the dihedral coset problem (DCP) that made everyone freak out for about a week (UPDATE: looks like it’s busted: https://eprint.iacr.org/2026/1693). ALSO, there was an important distinguisher attack against Classic McEl...

Homotopy Type Theory, Narya & the Future of Proof Assistants with Michael Shulman. How does homotopy type theory bridge the gap between abstract mathematics and computational proof systems? Mike Shulman (University of San Diego) joins Deniz and Thorsten to discuss his journey from topology to higher observational type theory, the development of the Narya proof assistant, and how these tools are reshaping the way we think about equality, equivalence, and computation in mathematics.

“He asked me this question because I'm his sister and he loves me.” Mathematics can often be seen as a solitary endeavour, but as this quote from one of our latest podcast guests show, that is far from the truth. In this episode, we learn how a new proof has developed from one young mathematician talking to his sister – and then collaborating with their father and close family friend. We spoke to Roman Sauer and Uri Bader – and Uri’s two children Saar and Shaked – after they had attended a

自助剪頭髮與被剪頭髮的基本架構與眉眉角角。。歡迎收聽 訂閱分享指教

In this episode, Jo Peterson, of Cleartech Research, discusses AI security challenges with Maribel Lopez. Her commentary explores how traditional security tools fall short for AI agents and what strategies enterprises can adopt to manage AI risks effectively. Topics covered AI security challenges and solutionsMulti-layered approach to AI agent securityToken cryptographic delegation and OBO tokensExternalized policy as code and micro-segmentationContextual and data-aware guardrailsConti...

What Is a Set? A Beginner’s Guide to Set Theory | aboutlogic: premises #06In this aboutlogic: premises episode, Deniz and Thorsten explore the foundations of set theory. From Cantor’s groundbreaking ideas to Frege’s logical foundations and Russell’s paradox. Discover how sets evolved from simple collections to a rigorous mathematical framework, and why the power set, well-ordering, and the continuum hypothesis remain some of the most fascinating (and controversial) ideas in math.

What does it mean to be alive? In this episode of Breaking Math, Autumn and Noah speak with Melanie Challenger, author of Alive, about one of the most profound questions in science and philosophy: how do we define life?Challenger argues that life is not simply a machine-like process or a bundle of genetic instructions. Living beings are embodied, purposeful agents. From single-celled organisms to sequoia seeds, from animals to human beings, life is marked by an astonishing capacity to work to keep

How can we better engage regional girls in STEM learning? In this episode,we’rejoined by Sarah Chapman,founderof STEM Changemakers and a leading advocate for equity in STEM education. With over two decades of experience in secondary teaching, Sarah reflects on the unique challenges faced by teachers and students in rural and remote communities,with a particular focus on how these barriersimpactgirls. We explore how initiatives like STEM Changemakers are creating new opportunities

In this episode, we meet the CEO of one of the most important institutions in mathematics - arXiV. Around since 1991, the website is a publicly accessible home for mathematical research before it is officially published in journals. Around 1,000 articles are published on arXiv every day — it has hosted everything from the proof of the Poincaré Conjecture to some of the newest research from AI companies like DeepSeek and Gemini. We spoke to Ramin Zabih, a Professor at Cornell Tech and Interim Chief

Dr. Evan Miyazono joins Jacob to talk about his path from quantum networking and Protocol Labs to founding Atlas Computing. They discuss why Atlas moved away from formal methods research and toward what Evan calls “field strategy”: identifying important problems, figuring out what interventions could actually address them, and finding the people best positioned to make them happen. The conversation also covers the resilience gap map, coordination failures, AI safety, "value alignment," and

In this episode of "In the Interim…", Dr. Don Berry provides a detailed account of co-chairing the 1997 NIH consensus development conference on mammography for women in their 40s. His conversation with Dr. Scott Berry covers the statistical and clinical complexities of breast cancer screening, addressing lead time and length bias, trial design limitations. Don discusses the panel’s finding, based on randomized trials and meta-analysis, that the average benefit of screening women in their

Hvad kan et forkert svar fortælle os? Når elever regner med brøker, kan det hurtigt gå galt. De kan lægge tæller sammen med tæller og nævner sammen med nævner. De kan tro, at 1/4 er større end 1/3, fordi 4 er større end 3. Eller de kan svare forkert på en tilsyneladende enkel opgave som: Hvad er 2 divideret med en halv? Men fejlsvarene er ikke bare fejl. De kan være spor. I denne episode af Stillads taler vi med Pernille Ladegaard Pedersen om, hvad elevers fejlsvar i brøkregning kan fortælle ...

I talk about my efforts to formalize lambda-calculus with named variables and explicit alpha-equivalence, as originally proposed by Church. One reason to do that, besides just a love of being ornery, is to be able to state and prove theorems about alpha-equivalence. One example class of such theorems concern when alpha-equivalence can be avoided, in the sense that beta-reduction can proceed without any variable capture, while not requiring renaming variables. I have a compan...

In this back to school episode, Curtis and Joanie discuss key ideas for starting the new school year off right, to ensure effective teaching and learning for teachers and students. How do you spend the first day of school with your students? Do you get them working in groups right away like Curtis, learning about them as students and how they engage with math and each other? Or maybe you focus on learning their names and helping them learn each other’s names like Joanie, ensuring a community ...

身在AI/網路時代，資訊多又複雜，讓人不焦慮也難？這麼多的內容、書籍、文件，只要AI summary 就可解決？這可能是 AI 版的知識假象。要真的知道，或變得危險地聰明，你可能需要ACTOR，一個聰明的(AI輔助)，閱讀系統。歡迎收聽 分享訂閱指教

aboutlogic #18 | What really happened in the 1930s logic revolution? Jan von Plato (University of Helsinki, ERC Grantee) joins Deniz and Thorsten to uncover the hidden collaborations, misunderstandings, and lost manuscripts that shaped modern logic. From Gödel’s unpublished notes to Gentzen’s lost normalization proof and Bernays’ pivotal role in Hilbert’s school, this episode reveals how the history of logic is far richer—and more interconnected—than we often assume.

Numbers don't speak for themselves—you need to know how to interpret them. Learn how to read statistical results, identify meaningful patterns, and avoid common mistakes when drawing conclusions from data.

Numbers don't speak for themselves—you need to know how to interpret them. Learn how to read statistical results, identify meaningful patterns, and avoid common mistakes when drawing conclusions from data.

Statistics is all about making sense of uncertainty. This episode introduces probability, explores basic probability concepts, and shows how probability supports statistical decision-making.

Two datasets can have the same average but look completely different. This episode explores range, variance, standard deviation, and why measuring spread matters when interpreting data.