arXiv · ML· Michal Shavit, Yongji Wang, Tristan Buckmaster·· 23 小时前AI 评分35
物理信息神经网络在强非线性偏微分方程计算中的严格认证
Rigorously Certified Neural-Network Computation of Nonlinear Water Waves at Near-Machine Precision
AI 导读
物理信息神经网络从方程学习波浪轮廓与速度，无训练数据实现近机器精度残差。 单一框架恢复 Stokes 波、Crapper 波及 Wilton 波纹，并在表张力演化中发现新候选解。 区间算术严格认证残差界，Lean 机器检查验证数学推导，确保结果独立于 LLM 辅助。
来源：arXiv · ML · arxiv.org