News for hackers. Stuff that matters.

A comment on Nobel Laureate John Jumper: AI Is Revolutionizing Scientific Discovery [video]. Parent comment

Re:Nobel Laureate John Jumper: AI Is Revolutionizing Scienti... by rossant on Monday September 29, 2025 @11:33PM (#45421636)
They are building a formally-defined counter example to this? Am I understanding correctly?

> In three space dimensions and time, given an initial velocity field, there exists a vector velocity and a scalar pressure field, which are both smooth and globally defined, that solve the Navier–Stokes equations.

[ Parent | on HN ]
Re:Nobel Laureate John Jumper: AI Is Revolutionizing Scienti... by hodgehog11 on Tuesday September 30, 2025 @02:30AM (#45422549)
They find a very good approximate blowup solution (non-smooth) using a NN. When the solution is good enough, you just need careful fixed point theory to infer an actual solution.
[ Parent | on HN ]