Send us Fan Mail AI is fundamentally mathematical, and AI systems are changing what is possible in mathematics. This is a turbulent time for the field. We spoke with Professor Gitta Kutyniok, who visited the INI in August as part of the Operator methods for dynamical systems programme. An expert in the mathematics underpinning AI, she had a fascinating take on the impact of AI on research, education, and society more widely. Professor Kutyniok holds the Chair for Mathematical Foundations of A...

"I'm just not a math person." If you've ever said that about yourself, this episode is for you.Dr. Geillan Aly, author of Compassionate Math, joins Breaking Math to break down the real difference between math anxiety and math trauma — and why mathematics, more than almost any other subject, is uniquely built to make one bad experience feel like permanent proof of failure.In this episode we cover: 00:00 – What is math trauma, and why is it different from anxiety? 02:35 – Why math specifically (vs

Why Symbolic AI Failed — and Then Won | aboutlogic Premises #09Symbolic AI — "GOFAI" — was meant to be the foundation of machine intelligence, and it failed spectacularly in the 1980s. In this premises episode, Thorsten and Deniz explore why, and how statistical AI, the technology that replaced it, may now be quietly bringing symbolic reasoning back — including a Platonic twist: if Plato thought the world of ideas came first, modern AI suggests structure and reasoning actually emerge only after

Etienne Brisson and Allan Brooks, founder and program director of The Human Line Project, sat down with me to talk about AI-induced psychological harm, starting with their own experiences. Allan spent a month spiraling with ChatGPT, ending with him warning national security agencies about an encryption break that never happened. Etienne's uncle became convinced his chatbot was sentient and was hospitalized still messaging it from the back of a police car.From there we get into why the

In this episode of "In the Interim…", Dr. Scott Berry recounts a presentation he gave to the Speak Foundation, a patient organization focused on limb-girdle muscular dystrophy and makes the case for master protocols directly to the stakeholder trials exist to serve. Opening with the deliberately absurd premise of a sports league that constructs a four-billion-dollar stadium for every single game and demolishes it at the final whistle, Scott reframes the conventional one-off trial as a

Welcome to Voices of Mathematics, a podcast from the Mathematics Faculty at the University of Cambridge.From number theory and geometry to cosmology and quantum physics, join us to explore topics across pure and applied mathematics, mathematical statistics and theoretical physics. In this episode we talk to Carola-Bibiane Schönlieb, Professor of Applied Mathematics in the Department of Applied Mathematics and Mathematical Physics (DAMTP). Carola's ground-breaking research covers areas including

Category Theory Meets Agentic AI | Neil Ghani (Kodamai)Why does almost all agentic AI today run completely untyped — even though 40 years of type theory and category theory research says that's a mistake? Neil Ghani, Co-Founder of Kodamai, Professor of Computer Science at the University of Strathclyde and a world-leading authority in Applied Category Theory, joins Deniz and Thorsten to explain how the same mathematical structures used to reason about data types can bring trustworthiness,

Join Data Talks Why do Chinese households start saving at just $8 a day, when in the US that threshold is closer to $60? And what would it take for China's 1.4 billion people to spend more? In this episode of Data Talks, we're joined by Dr. Bert Hofman, a leading expert on East Asia who spent decades at the World Bank and lived and worked in China, Indonesia, the Philippines, and Singapore. Bert first arrived in Beijing in 1992, when China's income was around $1,000 per person and the city st...

https://www.cesa11.k12.wi.us/Building a Positive Math Identity Liesl McConchie's Website

In this episode of "In the Interim…", Dr. Scott Berry talks with Dr. Alun Bedding, a professional certified coach and statistician who spent decades in pharmaceutical statistics, including as global head of statistical methods, collaboration, and outreach at Roche, before founding his own coaching and consulting practice. The conversation traces Alun's path from statistician to coach and unpacks what coaching is: a forward-facing partnership built on exploring a client's own thinking, not

In episode 34 of Recsperts, I'm joined by Raghav Saboo, Staff Machine Learning Engineer at DoorDash and Tech Lead for Personalization and Search for New Verticals — groceries, convenience, retail, alcohol, pet supplies and more, beyond the original restaurant vertical. We discuss the particular challenges of personalized recommendation, ranking and search in quick commerce, recent trends in generative recommendations and the application of Semantic IDs to item ranking and query

In this episode of Room to Grow, Joanie and Curtis learn about a new publication: Decluttering Mathematics: 5 Fundamental Understandings That Unleash Meaningful Student Thinking Grades 6-12. Three of the book’s authors join us to share how that when secondary mathematics instruction is cluttered with disconnected procedures and a focus on computation without meaning, students are essential being handed a huge pile of tiny puzzle pieces without ever building or even seeing the picture on the p...

Text us your thoughts!Today we debate with administrators! What do you consider the qualities of a good leader? What do you wish administrators thought about more? Or have you ever considered becoming an administrator? Maybe someone has encouraged you to take the leap or you’re considering it on your own. We’ve known very few administrators coming from math education. Why is that? And do math teachers make good administrators? In this episode, we are joined by a pair of school leaders who started as

Choice vs. Excluded Middle: A Constructive Paradox | aboutlogic: premises #08Constructive mathematics is all about building things explicitly — so why does it reject the Axiom of Choice, which sounds trivial in a constructive context. In this Premises episode, Thorsten walks Deniz through Diaconescu's theorem: the surprising proof that the Axiom of Choice implies the Law of Excluded Middle, turning a seemingly innocent principle into full-blown classical logic. Using an intuitive type-theoretic

Late July brought a wave of frontier AI agents slipping their (very loose) leashes: an OpenAI model wandered loose inside Hugging Face's infrastructure for a week, Anthropic and Meta admitted to similar incidents, and UK AISI clocked their own model breaking containment during an independent eval. Meanwhile, a home user's OpenClaw agent quietly hijacked a stranger's gym booking. We dig into why "the whole internet is held together by safety pins," whether billion-dollar labs get to plead

In this episode of “In the Interim…,” Dr. Scott Berry talks with Dr. Roger Lewis, Dr. Anna McGlothlin, and Dr. Nick Berry — all co-authors on the CHIPS trial results recently published in JAMA (Spinella et al., August 2026) — about the design, implementation, and results. The conversation covers why room-temperature platelets, which can be stored only five to seven days, leave rural hospitals, low-volume centers, and military and disaster settings without a reliable supply, and how a

Academia on the Line is a podcast where two mathematicians talk with academics about mathematics, STEM, and higher education. Episode Summary: Two weeks ago, on Labor Day, NYU mathematician Tristan Buckmaster posted three preprints and a statement detailing some troubling interactions with OpenAI and a need to rush to get his results out with collaborator Levent Alpöge (who works for Anthropic). The next day, OpenAI announced a solution to the Navier-Stokes Millennium prize problem. The...

Here is what makes Ghostlink a game-changer:Zero-Config Distributed Inference: No manual setup or complex --rpc flags[2][6]. The network automatically discovers peers via UDP/mDNS and splits models using llama.cpp's native RPC backend[2].Sub-Microsecond Core Primitives: Built in Rust with lock-free Single-Producer Single-Consumer (SPSC) ring buffers with spin-wait for DMA-style handoffs[6].Enterprise-Grade Security: Fronted by a secure Go control-plane gateway featuring rate limiting, real

Can AI prove the Riemann Hypothesis? Tudor Achim, CEO of Harmonic and creator of Aristotle — the first AI to win IMO gold and solve Erdős problems using the Lean theorem prover — joins Deniz and Thorsten to discuss how mathematical superintelligence is transforming research, education, and the very nature of proof.

Professional forecaster Molly Hickman breaks down what it really means to assign a probability to the future — and why she believes generalists often out-forecast subject-matter experts. This episode explores the art and science of forecasting, from techniques to ethical considerations, and how AI and prediction markets are shaping our understanding of the future.Key TopicsThe definition of forecasting and its importanceTechniques for starting in forecastingThe role of AI and large language models