平流 - 扩散方程的下界：基于 AI 生成证明的探索

本文在三种设定下建立了平流 - 扩散方程的显式下界：针对无粘剪切流的多项式负一阶索伯列夫范数下界、扩散剪切流混合尺度的均匀正下界，以及快速振荡时间周期流的指数 L2 范数下界，所有常数均显式给出。这些证明完全由名为 QED 的多智能体数学证明系统在无人工干预下生成，旨在测试人工智能产生严谨数学成果的能力。