Crapper waves

AI发现并严格认证了新的水波解

研究人员开发了一个新颖的计算框架，该框架将机器学习与严格的计算机辅助数值认证和形式化验证相结合。该方法使用物理信息神经网络来发现和改进非线性偏微分方程的解，特别是展示了其在周期性重力-毛细管行进水波方面的能力。该系统实现了近乎机器精度的残差，恢复了Stokes和Crapper波等已知波形，并识别了新的候选解。这些神经网络发现的准确性通过区间算术独立验证，以进行严格认证，并通过Lean定理证明器进一步形式化，确保了可审计的数学保证。