BEGIN:VCALENDAR VERSION:2.0 PRODID:researchseminars.org CALSCALE:GREGORIAN X-WR-CALNAME:researchseminars.org BEGIN:VEVENT SUMMARY:Renato (Rem) Faraone\, Nestor Guillen\, Max Lieblich\, Gireeja Ran ade\, and David Spivak (Various affiliations (see description)) DTSTART:20260925T153000Z DTEND:20260925T170000Z DTSTAMP:20261019T005914Z UID:CompMath/38 DESCRIPTION:Title: 1st Relatorium Dialogue on Mathematics and AI\nby Renato (Rem) Farao ne\, Nestor Guillen\, Max Lieblich\, Gireeja Ranade\, and David Spivak (Va rious affiliations (see description)) as part of Relatorium seminar\n\n\nA bstract\nThe practice and experience of mathematics is being talked about more intensely and broadly these days than ever before\, and it’s thanks to AIs setting their gaze to conquer it\, like a collection of distant mo untain ridges\, just out of reach. The attention is most welcome. What are we learning about mathematics from our growing relations with AIs?\n\nPan elists' Bios: \nDr. Renato (Rem) Faraone holds a Ph.D. in Mathematics and works as an independent researcher. Rem's work in AI focuses on episodic m emory and associative history\, grounded on allegori(a)l foundations for M athematics. Rem is currently working on attention mechanisms at TrueAGI an d is co-organizer of the Pacific NorthWest AGI Forum.\n\nNestor Guillen is currently a Visiting Professor of Mathematics at the Courant School Insti tute at New York University\, specializing in partial differential equatio ns and scientific computing. He completed his undergraduate studies in mat hematics at Universidad Simon Bolívar in Venezuela\, and obtained his PhD at the University of Texas at Austin under the direction of Luis Caffarel li. Prof. Guillen's research has been recognized with an NSF CAREER Award (2021)\, and a Frontier of Science Award (2026). More recently he has writ ten extensive commentary on the challenges and opportunities brought by ge nerative AI technologies\, he is also a founding board member of the Palom ar Registry for Lean-verified mathematics.\n\nMax Lieblich is Professor an d Chair in the Department of Mathematics at the University of Washington. He earned his AB from Harvard and his PhD from MIT\, and then spent time a t Brown and Princeton before joining the University of Washington faculty in 2009. His work has mostly focused on algebraic geometry\, including pro jects related to computer vision. He has also done some work in public hea lth and educational technology.\n\nGireeja Ranade is an Associate Teaching Professor in Electrical Engineering and Computer Sciences (EECS) at the U niversity of California\, Berkeley. Before joining the Berkeley faculty sh e was at Microsoft Research in Redmond\, WA. She received her PhD in Elect rical Engineering and Computer Science from the University of California\, Berkeley\, and her undergraduate degree from MIT in Cambridge\, MA. She i s the recipient of some awards for her research and teaching such as the N SF CAREER Award\, the UC Berkeley Electrical Engineering Award for Outstan ding Teaching\, the UC Berkeley Award for Extraordinary Teaching in Extrao rdinary Times and others.\n\nDavid Spivak received a PhD in mathematics fr om UC Berkeley in 2007. Noticing category theory’s impressive ability to organize and layer abstractions and to interconnect widely different disc iplines\, he set out to show that mathematics’ most abstract field was a lso its most applicable. After spending ten years at MIT\, he co-founded T opos Institute\, an independent non-profit research institute that works t o shape technology for the public benefit by applying the language of cate gory theory. David's work ranges from database integration to knowledge re presentation\, from materials science to dynamical systems to learning and sensemaking\, all with a focus on compositionality and interoperability. He has written four books on applications of category theory.\n\nModerator 's bio: \nTed Theodosopoulos is a mathematician who\, after working for ye ars in academia and industry\, transitioned to teaching at the pre-college level seventeen years ago\, the last nine at Nueva\, where he teaches mat h and economics. Ted’s research background is in the area of interacting stochastic systems\, with particular applications in biology and economic s.\n LOCATION:https://researchseminars.org/talk/CompMath/38/ END:VEVENT END:VCALENDAR