6 ms·
Ignoring the drama, when can we expect the lean proof of this great sensational discovery?
by singularity2001 8d ago
Ignoring the drama, when can we expect the lean proof of this great sensational discovery?
- bhouston 8d ago> Ignoring the drama But the drama here is a little important. Stealing the millennium prize for N-S is sort of a big deal, especially to those who had been working on it for the last few years.
- dandanua 8d agoAttempts to steal $1,000,000 for a solution to Millennium Prize Problem have become a tradition, apparently.
- Drblessing 8d agoThe math is all that matters.
- duped 8d agoThat's a very sad way to look at this
- jere 8d agoMath, like any other human endeavor, doesn't exist until someone is motivated to invent it. The laws of the universe aren't understood until someone is motivated to discover them. So it might be worthwhile to not completely ignore discussion about incentives.
- phyzome 8d agoMath is largely performed in collaboration. Collaboration requires trust. If people like you had their way, we would lose trust, therefore collaboration, and therefore progress. So if math is all that matters to you, you should care about this.
- qlte 8d agoA hundred pages of impenetrable brute forced Lean would advance the field much less than something elegant and human understandable, perhaps relying on some new clever spark of innovation that might inspire new areas of research. Particularly if the first proof being "solved" thanks to piles of money and compute for self-serving marketing discourages the mathematician who might have otherwise devoted years of focus to reach the superior proof we will now never see.
- semi-extrinsic 8d agoObtaining a finite-time blow-up for Navier-Stokes does not necessarily advance the field of mathematics by any significant measure, whether the proof is very long or very short. As a concrete example, such a proof could be less than a page with very specific initial and boundary conditions and inserting them into the equations to get something that goes to infinity when time goes to some finite value. This would resolve the Millenium problem but not make humanity any smarter.
- gw32 8d agohttps://mathstodon.xyz/@tao/117207849921390904 https://mathstodon.xyz/@tao/117207849921390904 Tao agrees.
- s1artibartfast 8d agoWhat do you even mean by that? It is the human value?
- boosterconj 8d agoBoosters have posited this conjecture since the beginning: “who cares how a proof comes about, math is math, the proof is all that matters”. Regardless of mathematicians stating the methods outstrip the proof’s importance, still amazing we got an explicit social counterexample as well so quickly.
- perching_aix 8d agoright on release for both? such a strangely pointed question, as if it wasn't customary by this point...
- charlierguo 8d agoIt's here: https://github.com/openai/NavierStokesAndEuler https://github.com/openai/NavierStokesAndEuler