TLDRocket
Sign in

Computer-Assisted Proofs

7 summarised stories about Computer-Assisted Proofs, each linking back to the original source. Browse all topics →

Friday, 24 October 2025

Discovering new solutions to century-old problems in fluid dynamics

Google DeepMind 8 months ago

Researchers used physics-informed neural networks to discover new families of unstable singularities in fluid dynamics equations that have resisted mathematical analysis for centuries. The method achieved precision equivalent to predicting Earth's diameter to within a few centimeters, and identified a pattern in the instability parameter lambda across the Incompressible Porous Media and Boussinesq equations. The approach enables computer-assisted mathematical proofs to tackle long-standing unsolved problems in fluid dynamics, including the Millennium Prize Problem of the Navier-Stokes equations.