{"id":"arxiv/2605.20623","url":"https://arxiv.org/abs/2605.20623","tags":["math.AP","cs.AI"],"score":0,"title":"Lower Bounds for Advection-Diffusion Equations: An Exploration with AI-Generated Proofs","domain":"math.AP","source":"arxiv","authors":["Chenyang An","Xiaoqian Xu"],"reviews":0,"subject":"math.AP","summary":"We establish explicit lower bounds for advection-diffusion equations in three settings: a polynomial $\\dot H^{-1}$ bound for inviscid shears with $u\\in L^\\infty_t W^{1,1}_y$, a uniform positive lower bound on the mixing scale for diffusive shears, and an exponential $L^2$ bound for rapidly oscillating time-periodic flows. All constants are explicit in the data. The proofs were generated entirely by a multi-agent math proving system, QED, without expert human intervention, serving as a test of AI's capability to produce rigorous mathematics.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-20","reactions":{}}