{"id":237,"date":"2023-06-03T18:34:09","date_gmt":"2023-06-04T01:34:09","guid":{"rendered":"https:\/\/live-usc-dornsife.pantheonsite.io\/cams\/?page_id=237"},"modified":"2026-04-08T20:28:01","modified_gmt":"2026-04-09T03:28:01","slug":"colloquia","status":"publish","type":"page","link":"https:\/\/dornsife.usc.edu\/cams\/colloquia\/","title":{"rendered":"Colloquia"},"content":{"rendered":"\n\n  \n    \n\n\n\n\n\n\n<div\n  class=\"cc--component-container cc--full-width-cta \"\n\n  \n  \n  \n  \n  \n  \n  >\n  <div class=\"c--component c--full-width-cta\"\n    \n      >\n\n    \n<div class=\"inner-wrapper\">\n      <div class=\"header-container\">\n  \n                  \n<div class=\"f--field f--section-title\">\n\n    \n  <h2>\n          Spring 2026\n      <\/h2>\n\n\n<\/div>\n                <\/div>\n    \n  <\/div>\n\n\n\n  <\/div><\/div>\n\n\n\n\n  \n    \n\n\n\n\n\n\n<div\n  class=\"cc--component-container cc--rich-text \"\n\n  \n  \n  \n  \n  \n  \n  >\n  <div class=\"c--component c--rich-text\"\n    \n      >\n\n    \n      \n<div class=\"f--field f--wysiwyg\">\n\n    \n  <h3>Zoom link for all seminar meetings: <a href=\"https:\/\/usc.zoom.us\/j\/98591406199\"><span style=\"text-decoration: underline\">https:\/\/usc.zoom.us\/j\/98591406199<\/span><\/a><\/h3>\n<h3><strong><a href=\"https:\/\/dornsife.usc.edu\/cams\/wp-content\/uploads\/sites\/138\/2026\/01\/Terence-Taos-Lecture-Video-Flyer.pdf\">Terence Tao&#8217;s Lecture Video Flyer<\/a> <\/strong><\/h3>\n<h3><a href=\"https:\/\/dornsife.usc.edu\/cams\/wp-content\/uploads\/sites\/138\/2026\/01\/CAMS-Sp-2026-AI-Events.pdf\">CAMS Sp 2026 AI Events<\/a><\/strong><\/a><\/h3>\n\n\n\n<\/div>\n\n\n  <\/div><\/div>\n\n\n\n\n\n  \n    \n\n\n\n\n\n\n<div\n  class=\"cc--component-container cc--stacking-cards \"\n\n  \n  \n  \n  \n  \n  \n  >\n  <div class=\"c--component c--stacking-cards\"\n    \n      >\n\n    \n            <div class=\"header-container\">\n                                \n<div class=\"f--field f--section-title\">\n\n    \n  <h2>\n          __________________________________\n      <\/h2>\n\n\n<\/div>\n            \n                                \n<div class=\"f--field f--description\">\n\n    \n  <h2>Showing of the video of\u00a0 Terence Tao&#8217;s Lecture<\/h2>\n<h2><em><strong>&#8220;The Potential for AI in Science and Mathematics&#8221;<\/strong><\/em><\/h2>\n<h2>Monday, January 26th, 3:30 \u2013 4:30 pm, KAP 414<\/h2>\n<p>_______________________________________________________________________________________________<\/p>\n<h2>Harold Williams, USC<\/h2>\n<h2>Monday, February 2nd, 3:30 \u2013 4:30 pm, KAP 414<\/h2>\n<h2><em><strong>Title: An Introduction to Automated Theorem Proving in Lean<\/strong><\/em><\/h2>\n<p>Abstract: In this talk we will give an introduction to Lean, a programming language adapted to the formal verification of mathematical proofs. Lean and its flagship library, mathlib, have been the focus of a dedicated user community for about a decade, but their visibility has grown significantly in light of recent advances in AI.<br \/>\nLean-based automated theorem provers are now improving at a steady pace, and we will compare and contrast the training of such systems with the training of large language models such as GPT, Claude, or Gemini. We will also give a brief introduction to Monte Carlo Tree Search, an algorithm whose presence or absence provides one of the main high-level distinctions among different state-of-the-art automated provers. Its use in particular distinguishes Seed-Prover and Aristotle, two frontier models developed respectively by ByteDance and Harmonic, the latter in collaboration with an academic team including myself, Sergei Gukov, Dan Halpern-Leistner, and Alex Meiburg.<\/p>\n<p>_______________________________________________________________________________________________<\/p>\n<h2>Sergei Gukov, Caltech<\/h2>\n<h2>Monday, February 9th, 3:30 \u2013 4:30 pm, KAP 414<\/h2>\n<h2><em><strong>Title: The role of AI in mathematical (re)search<\/strong><\/em><\/h2>\n<p>Abstract: At its core, scientific research is a search, a search for new ideas, new patterns, and new ways to explain or prove things. In this talk, I invite you to explore how AI is reshaping different stages of this process. We will see that while AI excels at many tasks, it still hesitates on others, such as long-horizon reasoning or far-out-of-distribution generalization. I view this as good news: it highlights how much meaningful AI research remains to be done. In fact, the goal of expanding AI&#8217;s role in mathematical research has become a motivation for advancing AI itself. I am genuinely excited that these two fields have come into such close contact over the past few years.<\/p>\n<p>_______________________________________________________________________________________________<\/p>\n<h2>Gunnar Carlsson, Stanford University and BluelightAI Inc.<\/h2>\n<h2>Monday, February 23rd, 3:30 \u2013 4:30 pm, KAP 414<\/h2>\n<h2><em><strong>Title: Topology, Data Science, and Deep Learning<\/strong><\/em><\/h2>\n<p>Abstract: Approximating data sets by graphs and simplicial complexes has been shown to be a very useful way to obtain qualitative information about data, and more recently has been shown to similarly contribute to artificial intelligence. I will discuss the mathematics around this, with examples from various domains.<\/p>\n<p>_______________________________________________________________________________________________<\/p>\n<h2>Javier Gomez Serrano, Brown University<\/h2>\n<h2>Monday, March 2nd, 3:30 \u2013 4:30 pm, KAP 414<\/h2>\n<h2><em><strong>Title: Mathematical Exploration and Discovery at Scale<\/strong><\/em><\/h2>\n<p>Abstract: Machine learning is transforming mathematical discovery, enabling advances on longstanding open problems. In this talk, I will discuss AlphaEvolve, a general-purpose evolutionary coding agent that uses large language models to autonomously discover old and new mathematical constructions and potentially go beyond them. AlphaEvolve tackles a wide variety of problems across analysis, geometry, combinatorics, and number theory. In some instances, AlphaEvolve is also able to generalize results for a finite number of input values into a formula valid for all input values. Furthermore, we are able to combine this methodology with Deep Think and AlphaProof in a broader framework where the additional proof-assistants and reasoning systems provide automated proof generation and further mathematical insights. This illustrates how general-purpose AI systems can systematically successfully explore broad mathematical landscapes at an unprecedented speed, leading us to do mathematics at scale.<\/p>\n<p>_______________________________________________________________________________________________<\/p>\n<h2>Shanghua Teng, USC<\/h2>\n<h2>Monday, March 9th, 3:30 \u2013 4:30 pm, KAP 414<\/h2>\n<h2><em><strong>Title: Understanding and Characterizing Regularization: Learnability and Physics-Based Energy Guidance<\/strong><\/em><\/h2>\n<p>Abstract:\u00a0The quintessential learning algorithm of empirical risk minimization (ERM) is known to fail in various settings for which uniform convergence does not characterize learning. Relatedly, the practice of machine learning is rife with considerably richer algorithmic techniques, perhaps the most notable of which is regularization. Nevertheless, no such technique or principle has broken away from the pack to characterize optimal learning in these more general settings. The purpose of this research direction is to understand the role of regularization in data-driven machine learning.<\/p>\n<p>First, we focus on an abstract statistical learning framework, present our work on characterizing the power of regularization in perhaps the simplest setting for which ERM fails: multiclass learning with arbitrary label sets. Using one-inclusion graphs (OIGs), we exhibit a local-regularization approach to obtain optimal learning algorithms that dovetail with tried-and-true algorithmic principles: Occam\u2019s Razor as embodied by structural risk minimization (SRM), the principle of maximum entropy, and Bayesian inference.<\/p>\n<p>Second, we share some of our on-going progress on designing physics-guided energy regularization for data-driven learning of the weak solution to parabolic PDEs. The goal here is to extend semi-supervised learning by exploiting auxiliary data and the underlying physical model to construct stronger regularization, enabling more efficient learning with optimal estimation and faster generalization.<\/p>\n<p>Joint work (COLT 2024) with Julian Asilis, Siddartha Devic, Shaddin Dughmi, and Vatsal Sharan<\/p>\n<p>Joint work with Xiaohui Chen and Zixiang Zhou.<\/p>\n<p>_______________________________________________________________________________________________<\/p>\n<h2>Alexey Cheskidov, Westlake University<\/h2>\n<h2>Monday, March 23rd, 3:30 \u2013 4:30 pm, KAP 414<\/h2>\n<h2><em><strong>Title: Instantaneous Type I blow-up and non-uniqueness of smooth solutions to the Navier-Stokes equations<\/strong><\/em><\/h2>\n<p>Abstract: For any smooth, divergence-free initial data, we construct a solution of the Navier&#8211;Stokes equations that exhibits Type I blow-up of the L^\\infty norm, while remaining smooth. An instantaneous injection of energy from infinite wavenumber initiates a bifurcation from the classical solution, producing an infinite family of spatially smooth solutions with the same data and thereby violating uniqueness of the Cauchy problem. A key ingredient is the first known construction of a complete inverse energy cascade realized by a classical Navier-Stokes flow, which transfers energy from infinitely high to low frequencies. This is a joint work with Mimi Dai and Stan Palasek.<\/p>\n<p>_______________________________________________________________________________________________<\/p>\n<h2>Scott Aaronson, University of Texas at Austin<\/h2>\n<h2>Monday, April 13th, 3:30 \u2013 4:30 pm, <strong>Pacific Time (US and Canada)<\/strong>,\u00a0Join Zoom Meeting: <a href=\"https:\/\/usc.zoom.us\/j\/98591406199\">https:\/\/usc.zoom.us\/j\/98591406199<\/a><\/h2>\n<h2><em><strong>Title: Theoretical Computer Science and AI Alignment<\/strong><\/em><\/h2>\n<p>Abstract: I&#8217;ll survey some areas where I think theoretical computer science, math, and statistics can potentially contribute to the urgent quest to align powerful AI with humane values. These areas include the watermarking of AI outputs, mechanistic interpretability (including Christiano&#8217;s &#8220;No-Coincidence Principle&#8221;), and guarantees for out-of-distribution generalization.<\/p>\n<p>_______________________________________________________________________________________________<\/p>\n<p>&nbsp;<\/p>\n\n\n\n<\/div>\n                    <\/div>\n    \n    \n\n  <\/div><\/div>\n\n\n  \n    \n\n\n\n\n\n\n<div\n  class=\"cc--component-container cc--spacer \"\n\n  \n  \n  \n  \n  \n  \n  >\n  <div class=\"c--component c--spacer\"\n    \n      >\n\n    \n\n  <\/div><\/div>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":282,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_acf_changed":false,"footnotes":""},"class_list":["post-237","page","type-page","status-publish","hentry"],"acf":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.1.1 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Colloquia - Center for Applied Mathematical Sciences<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/dornsife.usc.edu\/cams\/colloquia\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Colloquia - Center for Applied Mathematical Sciences\" \/>\n<meta property=\"og:url\" content=\"https:\/\/dornsife.usc.edu\/cams\/colloquia\/\" \/>\n<meta property=\"og:site_name\" content=\"Center for Applied Mathematical Sciences\" \/>\n<meta property=\"article:modified_time\" content=\"2026-04-09T03:28:01+00:00\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/dornsife.usc.edu\/cams\/colloquia\/\",\"url\":\"https:\/\/dornsife.usc.edu\/cams\/colloquia\/\",\"name\":\"Colloquia - Center for Applied Mathematical Sciences\",\"isPartOf\":{\"@id\":\"https:\/\/dornsife.usc.edu\/cams\/#website\"},\"datePublished\":\"2023-06-04T01:34:09+00:00\",\"dateModified\":\"2026-04-09T03:28:01+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/dornsife.usc.edu\/cams\/colloquia\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/dornsife.usc.edu\/cams\/colloquia\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/dornsife.usc.edu\/cams\/colloquia\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/dornsife.usc.edu\/cams\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Colloquia\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/dornsife.usc.edu\/cams\/#website\",\"url\":\"https:\/\/dornsife.usc.edu\/cams\/\",\"name\":\"Center for Applied Mathematical Sciences\",\"description\":\"USC Dornsife Sites\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/dornsife.usc.edu\/cams\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Colloquia - Center for Applied Mathematical Sciences","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/dornsife.usc.edu\/cams\/colloquia\/","og_locale":"en_US","og_type":"article","og_title":"Colloquia - Center for Applied Mathematical Sciences","og_url":"https:\/\/dornsife.usc.edu\/cams\/colloquia\/","og_site_name":"Center for Applied Mathematical Sciences","article_modified_time":"2026-04-09T03:28:01+00:00","twitter_card":"summary_large_image","schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/dornsife.usc.edu\/cams\/colloquia\/","url":"https:\/\/dornsife.usc.edu\/cams\/colloquia\/","name":"Colloquia - Center for Applied Mathematical Sciences","isPartOf":{"@id":"https:\/\/dornsife.usc.edu\/cams\/#website"},"datePublished":"2023-06-04T01:34:09+00:00","dateModified":"2026-04-09T03:28:01+00:00","breadcrumb":{"@id":"https:\/\/dornsife.usc.edu\/cams\/colloquia\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/dornsife.usc.edu\/cams\/colloquia\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/dornsife.usc.edu\/cams\/colloquia\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/dornsife.usc.edu\/cams\/"},{"@type":"ListItem","position":2,"name":"Colloquia"}]},{"@type":"WebSite","@id":"https:\/\/dornsife.usc.edu\/cams\/#website","url":"https:\/\/dornsife.usc.edu\/cams\/","name":"Center for Applied Mathematical Sciences","description":"USC Dornsife Sites","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/dornsife.usc.edu\/cams\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"}]}},"_links":{"self":[{"href":"https:\/\/dornsife.usc.edu\/cams\/wp-json\/wp\/v2\/pages\/237","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/dornsife.usc.edu\/cams\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/dornsife.usc.edu\/cams\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/dornsife.usc.edu\/cams\/wp-json\/wp\/v2\/users\/282"}],"replies":[{"embeddable":true,"href":"https:\/\/dornsife.usc.edu\/cams\/wp-json\/wp\/v2\/comments?post=237"}],"version-history":[{"count":192,"href":"https:\/\/dornsife.usc.edu\/cams\/wp-json\/wp\/v2\/pages\/237\/revisions"}],"predecessor-version":[{"id":1431,"href":"https:\/\/dornsife.usc.edu\/cams\/wp-json\/wp\/v2\/pages\/237\/revisions\/1431"}],"wp:attachment":[{"href":"https:\/\/dornsife.usc.edu\/cams\/wp-json\/wp\/v2\/media?parent=237"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}