结合物理信息神经网络与计算机辅助数值认证，首次对强非线性水波方程实现近机器精度且数学可验证的求解