Crapper waves

AI discovers and rigorously certifies new water wave solutions

Researchers have developed a novel computational framework that merges machine learning with rigorous computer-assisted numerical certification and formal verification. This approach uses physics-informed neural network…