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...

Send us Fan Mail Jatkoa osalle 1! Tällä kertaa Julia Ilmo ja Janne Rilla kulkevat antiikista kohti nykypäivää. Siis vain kuulokkeet korville ja opit hissasta talteen!

從一個有些誤導的標題 "地表上最強數學家說他追不上AI了" 開始談起。被稱為數學界莫札特的 陶哲軒, Terence Tao, 最近一些關於 AI 與 數學的看法與其延伸思考。幸運或不幸，AI 撕開了解題與求知向來的緊密關聯。這也讓學習或教育的形式與內容需要重新檢驗，否則 問A答B 可能不只是新聞熱詞而是變成教室常態 。依賴所謂權責單位可能緩不濟急–真的要 立刻 立即 即時 全力地 從 自己與身邊 開始對齊地警覺與改變。歡迎收聽 分享訂閱指教

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

In the sixth episode of On a Tangent’s second season, Carlo talks to Malthe Mejlsted from Copenhagen about his time in Denmark, his participation in mathematics Olympiads, camps, and other science programmes, and what these experiences taught him. As a PhD student under Professor Wilhelm Winter, Malthe is now investigating operator algebras.

In this episode of "In the Interim…", Dr. Scott Berry examines three recent health-research headlines through a statistician's lens: an Adventist Health Study-2 analysis claiming eggs reduce Alzheimer's risk, an Emory University trial on high-dose vitamin D and cognition (Zhao et al.), and a British Medical Journal study led by Dr. Daniel Danishvar (Harvard, Boston University) reporting that 25 to 97 percent of deceased NFL players showed evidence of chronic traumatic encephalopathy (CTE)

Una delle prime donne a costruire una carriera matematica moderna, stabile e riconosciuta nell'università europea, Sofia Kowalevski, nota anche come Sonia Kowalevski o Sof'ja Kovalevskaja, è stata molto più di un genio dei numeri. Figura carismatica e complessa, ha vissuto a cavallo tra la scienza più rigorosa, la letteratura, il nichilismo russo e i movimenti di emancipazione femminile dell'Ottocento. In questo episodio di Inventare la matematica, Giulio Magli e Annalisa Panati ci accompagnano alla

從 Swandia 的 Notebook System 談起。。紙筆是思考開始發想與建立連結整理的重要工具，他們不僅幫忙紀錄，更是我們一起思考的利器。現代新的工具，鍵盤與AI也許更適合知識內容中後段的成型與回饋。工具不斷推陳出新，使用者要掌握選擇工具，使用工具的能力與時機，才更能發揮這些工具的擅長，並整合優化自己的內建能力。歡迎收聽 訂閱分享指教

Fixing Russell’s Paradox: The Birth of ZFC & Constructive Set TheoryHow did mathematicians fix Russell’s paradox and save set theory? In this aboutlogic: premises episode, Deniz and Thorsten explore the solutions that reshaped the foundations of mathematics. From Zermelo-Fraenkel (ZFC) axioms to constructive set theories (IZF, CZF). Discover how large cardinals, the continuum hypothesis, and the iterative conception of sets became central to modern set theory and why some mathematicians still

Should a life-saving, but expensive, cancer drug be made available on the NHS even though it only benefits very few people? Or should the money be allocated to drugs that lower blood pressure, which help vast swathes of the population? For the final episode of this season, we spoke to Joe Hilton, a health economist, to understand more about how difficult decisions like this one are made. Joe is a research fellow in mathematical modelling at the Manchester Centre for Health Economics and a 2025

Everyone's got a hot take on data center water use, and most of them are garbage. This week Jacob and Igor skip the outrage and give you seven questions to help you decide whether a given data center is something you're on board with: where it's built, how it's cooled, where the power comes from, who owns it, and who's footing the bill (you'll have to listen for the other two). They test them against SpaceX's Colossus facility in Memphis, unpermitted gas turbines, a drought-prone aquifer,

Send us Fan Mail Tällä kertaa Julia Ilmo ja opevieras Janne Rilla Vaskivuoren lukiosta keskustelevat historian ensimmäisestä opintojaksosta. Aiheet johdattelevat meidät esihistoriasta aina antiikin kynnykselle ja lisää piisaa jakson erillisessä toisessa osiossa. Siis stay tuned! WordDiven abikurssit: https://www.worddive.com/fi/kielikurssit/englannin-abikurssi/?utm_source=podcast&utm_medium=link&utm_campa ign=prep-podcast

In this episode of "In the Interim...", Dr. Scott Berry dissects prevailing concepts of “clinically meaningful difference” in clinical trials focusing on progressive diseases. Through detailed examples from pancreatic cancer (Ben Sasse, Revolution Medicines), emphysema (Elevair), Alzheimer’s disease (lecanemab), and IVF, Scott challenges the adequacy of the population-mean of a continuous outcome in reflecting true patient benefit. The episode discusses inconsistent usage and interpretation

In episode 33 of Recsperts, I speak with Joseph A. Konstan, Distinguished McKnight University Professor and Distinguished University Teaching Professor at the University of Minnesota, co-founder of GroupLens, and the very first General Chair of the ACM RecSys conference back in 2007. This year he returns in that role as General Co-Chair of the 20th RecSys in Minneapolis. We talk about what actually makes a recommendation useful, why the field is more than a machine learning application, and