WTF Is Going On(Weights, Tools & Frameworks)

한국어
OpenAI filed

On the Navier–Stokes Millennium Prize Problem

read it at the source — OpenAI →

“We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.”

What was said about it

541 points · 379 comments
it’s official: OpenAI claims they solved Navier-Stokes 10,000 concurrent agents coordinated by an internal model (that’s currently still in training) worked for 88 hours openai.com/index/navier...
6 likes
openai.com/index/navier...
5 likes
300 billion output tokens at astra price of $50/M is $1.5M. even very generously assuming an actual cost much lower than that, you're looking at hundreds of thousands easy openai.com/index/navier...
7 likes
if you were feeling exhausted by AI discourse, I have some bad news
6 likes
It's all just stochastic parrots and fancy autocomplete. It's a bubble! openai.com/index/navier...
4 likes
Ah ben si en fait, une annonce officielle. Si on en juge l'historique des annonces précédentes qui ont été legit à chaque fois, on peut raisonnable s'y fier, même s'il faudra attendre sans doute un peu que la poussière retombe pour y voir …
3 likes
It seems like some other mathematicians (not affiliated with openAI) have also (or close to) done this. A statement was posted about the surrounding events by one of the them: https://cims.nyu.edu/%7Etristanb/statement.pdf Also Terrence Ta…
Buried 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 impr…
My 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 n…
Is this the one that was allegedly based on someone else's actual work & prompts? https://news.ycombinator.com/item?id=49605915 https://bsky.app/profile/quantian.bsky.social/post/3muyhwbcd... https://cims.nyu.edu/~tristanb/statement.pdf

Also on the board