AI辅助完成的证明构造了一个带光滑外力的纳维-斯托克斯方程版本的反例，其中光滑外力精确抵消方程中的各项，形成特殊涡旋，导致有限时间爆破。