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

研究AI智能体生成完整可执行JSON规范的能力，用于自动化几何建模、网格划分、PDE求解与结果导出。