共 1 篇相关文章
本文介绍一项结合物理信息神经网络与形式化验证的研究：神经网络以近机器精度求解非线性水波方程，并通过区间算术和Lean定理证明器提供严格数学保证，探索AI发现与机器检查验证的完整流水线。
