3 ms·
For any practical application, numerical solvers for Navier-Stokes already exist and do a good job. This proof is just checking the boxes for mathematicians.
by u1hcw9nx 27d ago
For any practical application, numerical solvers for Navier-Stokes already exist and do a good job.
This proof is just checking the boxes for mathematicians.
- robotpepi 27d agoyou're as sure of what you say as wrong about it.
- Toutouxc 27d agoNote that your reply has exactly 0 value for anyone who doesn’t already know where and how the parent poster is wrong.
- robotpepi 27d agofair enough
- jgalt212 27d agowhich part is wrong? > For any practical application, numerical solvers for Navier-Stokes already exist and do a good job. or > This proof is just checking the boxes for mathematicians.
- hyperbovine 27d agoThe same could be said of your post. OpenAI (claim to) show the existence of *a* finite time singularity. It could stimulate more research in PDE solving, and maybe physics, but it has zero impact on practical applications, that I can see. The Millenium problems were chosen based on hardness not practical relevance.
- robotpepi 27d agoI was referring to the "it's just mathematicians checking boxes" claim
- CyberDildonics 27d agoIf that were true you could explain it. There are lots of solvers for navier stokes simulations and they do a good job.
- hunterpayne 27d agoTrue, this is just a much bigger one with a vastly larger amounts of hardware.
- robotpepi 27d agoI was referring mostly to > This proof is just checking the boxes for mathematicians There are already quite a lot of summaries of the story that lead to the solution, and the impact that the intermediate results have had.
- rsfern 27d agoAgreed, but i think this underscores my point. We have numerical simulations in materials science too, but that doesn’t mean formally verified theorems about the underlying equations automatically translate to formal (or even informal) verification of simulation results. That’s not to say you can’t make progress with agents, but I think it’s less well defined how you write the goal and progress assessment for an agent
- jrflo 27d agoThe efficacy of applied NS was never in doubt. "Checking the box" is downplaying the magnitude of the discovery quite a bit as it has been unsolved for almost 100 years. Yes, this particular problem with NS no real-world applications, but that's true for 99.9% of math research.
- hunterpayne 27d agoThere is no NS proof here. Its just a counter example. There is another team working on a proof but they aren't associated with OpenAI.
- SwtCyber 26d ago[dead]