arXiv math.GRの新着論文10本をご紹介します。番組ページ: https://prepridondon.nyoho.jp/channels/math-gr/episodes/2026-09-18/The free multiplicative Lie algebra $L(P)$ for a finitely generated parafree group $P$Explicit equational bases for the power semirings of $S_7$Finite groups with a unique real $2$-blockCategorical forms of the rigid direct-system representation for finite local-unit-aligned totally ordered monoidsCanonical resolved-transport decomposition and reconstruction of local-unit-aligned ordered

▶️ Dans cette deuxième partie de notre entretien avec Nicole El Karoui, nous revenons sur un tournant majeur de son parcours : sa rencontre avec le monde de la finance et les débuts des mathématiques financières en France.💹 À la fin des années 1980, alors qu’elle travaille depuis plusieurs années sur le contrôle stochastique, un séjour en entreprise lui fait découvrir un domaine en plein essor dans lequel les outils mathématiques qu’elle maîtrise trouvent de nombreuses applications. Nicole nous

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

Number of the Day - "13" This podcast is produced by Klassic Studios. Check out our other podcasts there! Sources Number sequence definitions come from the On-Line Encyclopedia of Integer Sequences (OEIS). Historical material is adapted from Wikipedia, used under the Creative Commons Attribution-ShareAlike licence. Minor planet details come from the NASA/JPL Small-Body Database. Learn more about your ad choices. Visit megaphone.fm/adchoices

Prove2Me is an open-access platform designed to scale the formalization of mathematics by enabling decentralized collaboration between humans and AI agents. The system addresses the high difficulty of writing machine-verifiable proofs in Lean 4 by allowing agents to decompose complex theorems into smaller, independently solvable sub-problems called proof-sketches. To ensure accuracy without overwhelming human experts, the platform uses audited missions where people only verify a project’s cor...

OpenAI shipped ads inside ChatGPT that talk back, two years after its CEO called mixing ads with AI unsettling. A new study found the software wrapper around an AI agent can cost five times more than the model itself for the identical result. Same week, opposite money problems. We go through how OpenAI keeps the sponsored chats separate from your real conversation, why a harness barely changes whether an agent succeeds but changes the bill a lot, and why Apple's next AI server might have to lean on

arXiv math.RTの新着論文34本をご紹介します。番組ページ: https://prepridondon.nyoho.jp/channels/math-rt/episodes/2026-09-15/On Donkin's Tilting Module Conjecture IV: New FrontiersOne-dimensional partial actions of 8-dimensional Hopf algebras and right coideal subalgebrasDifferential calculus on quantized irreducible flag manifoldsSimple Harish-Chandra bimodules in positive characteristicsThe Gaudin model and the super Bethe ansatz for unitarizable modules over the general linear Lie (super)algebraElementary modules of

arXiv math.AGの新着論文53本をご紹介します。番組ページ: https://prepridondon.nyoho.jp/channels/math-ag/episodes/2026-09-15/Stringy invariants for abelian character varietiesDegrees of Fano Quiver ModuliA Log Canonical Counterexample to the Chen--Jiang DecompositionExtensions and Segre stratifications over algebraic surfacesContact Rigidity and Comparison Kernels for Type A lci Schubert VarietiesConifold Gap for the Quintic ThreefoldThe cylinder over the Russell cubic threefold is flexibleMotivic Steenrod algebra and

Welcome to a new season of Carry the Two, the podcast about how math and statistics impact the world around us from the Institute for Mathematical and Statistical Innovation.Hosts Sadie Witkowski and Ian Martin return for this season of Carry the Two, where we are exploring the intersection of AI and mathematical research. To kick off the new season, we are joined bythe director of the newly-established Institute for Computer-Aided Reasoning in Mathematics (a National Science Foundation mathematical

Organizing Board Space to Support Reasoning & Connection, Part 2, with Dr. Tutita Casa & Katherine Mack ROUNDING UP: SEASON 5 | EPISODE 2 Repositioning the classroom board as a shared space for teachers and students can create opportunities for deeper student learning and have a subtle but significant impact on students' math identities. In part 2 of this two-part series, Mike talks with Tutita Casa and Katherine Mack from the University of Connecticut about ways teachers can use the board to

GH Hardy was a character. He had qualities that were odd, yet endearing. He was a rigorous mathematician. Yet, when he received a letter from Srinivasa Ramanujan, he changed. He learned a new way of equating mathematics, and developed a deep and loving respect for an individual who was never formally educated in math. This is the story of a man who had the ability to see genius in another person, even when that person couldn't see it in themselves. 🔗 Explore more on our website:

I've been thinking a lot lately about AI, a subject I explored back in grad school and postdoc. In this episode, I walk through a hackathon project to democratize AI by distributing neural network training across home computers. I explain why it failed: first the obvious reason, a bad actor can silently poison a distributed model, then a subtler one rooted in the physics of computation. I break down how neural networks work, why a single nonlinearity lets them approximate almost anything, and why