[killjoywashere]

David Hilbert was one of the greatest mathematicians of all time. Many of the leaders of the Manhattan Project learned the mathematics of physics from him. But he was famous long before then. In 1900 he gave an invited lecture where he listed several outstanding problems in mathematics the solution of any one of which would change not only the career of the person who solved the problem, but possibly life on Earth. Many have stood like mountains in the distance, rising above the clouds, for generations. The sixth problem was an axiomatic derivation of the laws of physics. While the standard model of physics describes the quantum realm and gravity, in theory, the messy soup one step up, fluid dynamics, is far from a solved problem. High resolution simulations of fluid dynamics consume vast amounts of supercomputer time and are critical for problems ranging from turbulence, to weather, nuclear explosions, and the origins of the universe.

This team seems a bit like Shelby and Miles trying to build a Ford that would win the 24 hours of LeMans. The race isn’t over, but Ken Miles has beat his own lap record in the same race, twice. Might want to tune in for the rest.

[bawolff]

This kind of misses the point. The problem isn't interesting because its on hilbert's list; its on hilbert's list because it is interesting.

This is not my field, but i also don't think this would help with computational resources needed for high resolution modelling as you are implying. At least not by itself.

[gnubison]

> the solution of any one of which would change not only the career of the person who solved the problem, but possibly life on Earth. Many have stood like mountains in the distance, rising above the clouds, for generations.

Whether or not this is AI, this comment is not true. An axiomatic derivation of a formula doesn’t change how it’s used. We knew the formulas were experimentally correct, it’s just that now mathematicians can rest easy about whether they were theoretically correct. Although it’s interesting, it doesn’t change or create any new applications.