题目：AI Proofs in PDEs

报告人：徐霄乾 助理教授（昆山杜克大学）

地点：致远楼101室

时间：2026年6月22日 星期一 10：00-11：00

Abstract：In this talk, I will discuss recent results on fluid equations done by AI. I will first outline the relationship between the mixing properties of incompressible flows and the diffusion process, including dissipation enhancement. I will then focus on the so-called unmixing phenomenon and on the existence of Batchelor scales for certain flows, both of which are results recently proved using AI.

报告人简介：徐霄乾，现任昆山杜克大学数学助理教授，并任职于祖冲之数学与计算科学中心（CMCS）。加入昆山杜克大学之前，他曾在卡内基梅隆大学担任博士后研究员。他于威斯康星大学麦迪逊分校获得博士学位，博士导师为Alexander Kiselev教授和Andrej Zlatos教授。徐霄乾的主要研究方向包括偏微分方程、流体力学、主动标量方程、混合理论以及时间分数阶微分方程等，已在《Journal of Differential Equations》《Transactions of the American Mathematical Society》《Archive for Rational Mechanics and Analysis》《Journal of Nonlinear Science》等期刊发表论文。

欢迎各位参加！