Hacker News Reader

Where are you getting the applied math angle from. Do you think the recent Navier Stokes proof was applied math?

>What does it actually get you?

It gives you truth. It broadens what is known about mathematics.

The specific proof may be in pure math but Navier-Stokes problems did originate in applied math. A lot of what we consider pure math has it’s origins in something applied. As one of my math professors implied, a lot of mathematicians liked to pretend they came up with theorems from scratch in their final published form, but in practice it was often from seeing examples, often practical ones in applied math, then making conjectures that eventually led to more generalized theorems.

My point was that OpenAI did not solve the problem for a practical purpose. There is no utility to having a proof for a liquid that can't exist in reality. It was solved purely to push the frontier of what is known in mathematics.

Reply on news.ycombinator.com