Zeju Sun、Songlin Zhou 与 Stephen S.-T. Yau 建立了统一处理三类非线性滤波方程的加权 Sobolev 空间框架，AIM 参与辅助证明探索。
2026-09-03：AIM 辅助的无界系数滤波方程适定性研究发布
Zeju Sun、Songlin Zhou 与 Stephen S.-T. Yau 建立了统一处理三类非线性滤波方程的加权 Sobolev 空间框架，AIM 参与辅助证明探索。
Zeju Sun、Songlin Zhou 与 Stephen S.-T. Yau 建立了统一处理三类非线性滤波方程的加权 Sobolev 空间框架，AIM 参与辅助证明探索。