该研究提出了一套计算框架，将机器学习发现与计算机辅助数值认证、形式化验证相结合，针对周期重力-毛细波实现了接近机器精度的残差。