Sebastien Bubeck’s (OAI project lead) response: https://x.com/sebastienbubeck/status/2097379411691516310?s=4...
On the Navier–Stokes Millennium Prize Problem
431–440 of 1001 posts
Re: On the Navier–Stokes Millennium Prize Problem
#432My take: 1. It shows what even this wave of AI can actually do. 2. I wish it were done by different folks, ideally under some kind of public control like NASA research or the NPR model. 3. Keep in mind: natural science is different. It's not always a matter of computation. Computer science folks often struggle with this -- but this virtual world here does not actually exist. Everything is physical, including informat…
Most experimental physics and other natural sciences are strongly driven by their theoretical siblings, i.e. in particle research nothing gets built without a solid theoretical foundation of what you expect to find (or where you expect existing theories to break down), the same is true in other areas, no one is doing an experiment in quantum physics before they have a solid theoretical understanding of the effects th…
It will be interesting to see if it can come up with a cheaper to construct graviton detection experiment
Re: On the Navier–Stokes Millennium Prize Problem
#433Not a great time to be starting sophmore year in cs & math. Should I just say fuck it, and go hitchhiking across Europe with some friends?
Re: On the Navier–Stokes Millennium Prize Problem
#434Earlier quoted context omitted.
They kind of did though, they were hoping to keep the fact that they may well have plagiarised these researchers unpublished work quiet. They did not want this to turn into a scandal about the fact that they appear to be training on prompts without consent It makes a certain amount of sense. The internet data is too polluted with AI usage now to be useful, so the only AI free new data source is the prompts people fee…
OpenAI claims the data contamination issue only surfaced after they proactively reached out to Buckmaster and Alpöge to coordinate a joint release. They also say that even if there was some contamination, the underlying proofs diverge substantially: > Our effort began on September 1st after hearing a rumor which we later realized was related to Levent Alpöge, an Anthropic employee, and Tristan Buckmaster, a math prof…
The biggest issue we aren't talking about is, of course, that those two researchers were not the only two using ChatGPT to work on the problem at the time
Re: On the Navier–Stokes Millennium Prize Problem
#435Earlier quoted context omitted.
Pre-IPO marketing?
I'm so tired of this "It's just marketing!!" commentary. An AI model just proved one of the top 3 unsolved problems in mathematics, they have a Lean certificate showing it's valid. How much more evidence do you need that these models are actually highly capable?
Lmao my friend, the whole "drama" is that there are allegations of plagiarism.
Re: On the Navier–Stokes Millennium Prize Problem
#436I think this is clear evidence that AI models are now at the far frontier of mathematics innovation and discovery and exceed human limits.
This specific problem having had a $1 million bounty on its head and still remaining unsolved for 26 years after the bounty was placed is pretty clear evidence that many of the world's best human mathematicians would have solved this problem if they could have, and none were able to until LLMs came along.
Hard to claim at this point that LLMs aren't capable of novel STEM creativity and genius to a degree that will soon far surpass that of humans.
If anyone has counterpoints to this I'd love to hear them!
Re: On the Navier–Stokes Millennium Prize Problem
#4375 million messages, 300b output tokens, done in 5 days, and achieving something humans couldn't. the first "Country of geniuses in a datacenter" moment.
I'm tired of this, but please read the post of Tao. It’s listed in the top comment of this thread.
Re: On the Navier–Stokes Millennium Prize Problem
#438Buried under the drama is the fact that OpenAI is claiming that an internal model they’ve been training for less than two weeks is more than twice as capable in mathematics as Astra, which was only made public a week ago. Even if this improvement is limited to mathematics, that is an astounding feat.
The singularity happening under trump? We could have had star trek, instead we're getting the combine.
"I love Singularities. I am the best at Singularities. Everybody knows it ..."
Re: On the Navier–Stokes Millennium Prize Problem
#439> How we found the proof Easy, we stole it from Levent and Tristan https://x.com/kyanyang_/status/2097211154669998337
They did not have a proof of Navier Stokes to steal.
Re: On the Navier–Stokes Millennium Prize Problem
#440It’s time to lockdown all papers and stop using AI if you’re a maths researcher.
Cause OpenAI will hear about it and beat you to publishing.