>OpenAI after using a mathematician's private Codex logs to solve the Navier-Stokes Equation (one of the seven most important open problems in mathematics)Fucking kek. How is this our actual timeline?
>>109760211AI just can’t stop winning
>>109760211Luddite.
there are people who are still going to be sending confidential data to openai after this huh
>>109760211I only use Chinese models.
uh oh melty
>>109760211>Navier-Stokes Equationcontext?
>>109760211I don't want to alarm you guys, but OpenAI just proved that God exists.
>>109760211GEEEEEGGGGG>sorry chud, we're just be, yknow, takin that>yoink
>>109760211they didn't solve the Navier-Stokes equation you fucking retard, they're just a set of partial differential equations that can be solved for any specific systemThey proved that a smooth solution for the Navier-Stokes equation in the case of some initial conditions always exist.Anyways, pretty based conduct from @sama and the math lab better learnt its lesson to self-host Chinese models for sensitive use in the future.
>>109760384This is a very clear cut case. OpenAI, right now, has a lean-verified and written proofs for Navier-Stokes which they will publish tomorrow. Alpogen and Tristan do not. OpenAI solved Navier-Stokes and they deserve all the credit. The other two losers may claim the other inferior problems if they want, but they didn't crack N-S. You snooze, you lose. Ultimately, all the credit belongs to AI.
Anytime I hear about an equation being solved or whatever I never hear about what it could be applied for.
>>109760399>OpenAI solved Navier-StokesThey fucking didn't and doing so is impossible you fucking dimwit. Read the post you replied tot. Not him
>>109760425>and doing so is impossibleWhy?
>>109760435Because they are a set of set of partial differential equations describing sole chaotic systems. What would solving it even mean?
>>109760459I don’t know, I’m asking you.
>>109760266>>109760412>>109760435It’s the concept in which water is controlled not moved. Example, we had always moved water by hand, buckets and hoses. We never directly moved water.The problem, water is random and we do not have mathematical equations for random. The only thing we can do is calculate within error rate.>>109760224>>109760226>>109760284>>109760399It’s going to be fake news.
>>109760425Stop playing dumb. N-S is also a conjecture about the solutions to PDEs of the same name.
>>109760211New rumors as it that the Hodge conjecture might have also been solved
>>109760470I don't know either, but they wouldn't be able to be used for what they are currently used for, they describe chaotic systems.You can find optimizations for subsets of problems and you can find better ways to describe some systems but a chaotic systems will always be chaotic.They are a set of equations, not an open problem such as the riemann hypothesis.
>>109760477That's not what I responded to, correct us correct
>>109760435There are two variants of NS. The one know for sure has a finite blowup is called forced that means it includes external force outside the fluid itself. The unforced or without the external force is the one that has a million dollars bounty on it. Though it's still possible they might come up with the unforced blowup.
>>109760473>We never directly moved water.I played a bucket of water some Mozart one time. It did calm down substantially after a minute.
>>109760785Shit really? I played phonk really loud last week and my upstairs neighbor flooded me, maybe his water got agitated
>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.So if found one by brute forcing the post hoc constructed a proof or did it do something else?
>>109761643Nobody knows wtf the 200 pages long lean proof it shat out really means
>>109761661Mathematical proofs should be elegant. A 200-page proof is absolute garbage.
>>109760226Sounds based.How does one enter the elite luddite club?
OHNONONONONO!https://openai.com/index/navier-stokes-solution/>we cannot rule out that de-identified data derived from their usage of our products helped [improve our models]>https://openai.com/policies/how-your-data-is-used-to-improve-model-performance/
>AIEEEE THEY SPIED ON UScope and seethe claudefagyou lost
>>109761762ExactlyThis sounds like some serious gigs slopLike if Maxwells laws were 400 page slop instead of 4 elegant equations lmfao
>>109761643Yes, just like everything AI does. All it does it brute force the solution by trying everything.
>>109762420>>109761762>i-it's not elegant so it's wro-
>>109760211AGIsaar achieved
>>109762469Nice sloppa
>>109762501i assume you're being sarcastic but google standard model langrangian if you're notit's ugly as fuck but it's what underlies maxwell's equations
>>109761762Sure, but it is *a* proof at least. Minimizing it and making it elegant can be done later but having any solution at all is the hardest part.
>>109762533And it’s not 100+ pages
>>109760266It's an equation that solves the randomness of fluid dynamics. This would vastly improve everything from water cooling engines to plasma confinement in fusion reactors
>>109762575nigga that's the EQUATION, the physics equivalent of the proof is contained in TEXTBOOKS on the order of 500-1000 pages.
>>109760513Sad day to find out that John developed AI psychosis but he has the bad type of autism, always has. This is why the vow is 'til death do us part. He's just a sad, kind of thing since losing Kang.China could revitalise his spirit, but the bad autism would stop him from being able to get the help he needs. Too addicted to being abrasive. Another case of reinforcement ruining someone.
>>109760284Yes and Gods chosen people are Filipinos
>>109762469have you AI simplify it a bit and then post again
>>109764105>hey chatgpt simplify this for me>12 weeks later>***So we've proven string theory***
>>109762469Can you translate that for normal people?
>>109766476https://en.wikipedia.org/wiki/Mathematical_formulation_of_the_Standard_Model
>>109766476It’s fake math, never applying to real world situations to help us.
>>109762533No it’s not lolMaxwells equations follow from a Lagrangian with only a single term
>>109760211It didn't solve "Navier-Stokes", it solved an open question about the behavior of N-S.There would have been minor implications if it had solved to the negative instead of the positive as it did. Instead, the result is absolutely nothing changes. It absolutely isn't one of the most important problems in math.
>>109762590>randomnessMoron>This would vastly improveNothing at all, cretin
>>109762891Namely, his bad type of autism is called being a normalfag with no autism.
>>109767209All "pure" math is fake math. When by coincidence any use at all is found for it, it's declared by the math community as 'not real math'. See for example computer science, information theory, probability, statistics, and physics.Similar to Navier Stokes really, which is a really bad model of fluid dynamics (which is in effect what is reinforced by the openai "proof", rather than anything useful).
