view the rest of the comments
Ask Lemmy
A Fediverse community for open-ended, thought provoking questions
Rules: (interactive)
1) Be nice and; have fun
Doxxing, trolling, sealioning, racism, toxicity and dog-whistling are not welcomed in AskLemmy. Remember what your mother said: if you can't say something nice, don't say anything at all. In addition, the site-wide Lemmy.world terms of service also apply here. Please familiarize yourself with them
2) All posts must end with a '?'
This is sort of like Jeopardy. Please phrase all post titles in the form of a proper question ending with ?
3) No spam
Please do not flood the community with nonsense. Actual suspected spammers will be banned on site. No astroturfing.
4) NSFW is okay, within reason
Just remember to tag posts with either a content warning or a [NSFW] tag. Overtly sexual posts are not allowed, please direct them to either !asklemmyafterdark@lemmy.world or !asklemmynsfw@lemmynsfw.com.
NSFW comments should be restricted to posts tagged [NSFW].
5) This is not a support community.
It is not a place for 'how do I?', type questions.
If you have any questions regarding the site itself or would like to report a community, please direct them to Lemmy.world Support or email info@lemmy.world. For other questions check our partnered communities list, or use the search function.
6) No US Politics.
Please don't post about current US Politics. If you need to do this, try !politicaldiscussion@lemmy.world or !uspolitics@lemmy.world
7) No Hit-and-Run questions.
Please don't delete your post for no apparent reason. If you plan on deleting a question later, say so in the post, or if you feel that you have a good reason to remove it, message a mod beforehand. It's not fair to the ones who took their time to answer, and it's not in the spirit of the community.
8) No Bots.
Posts or comments from bots, LLM's, AIs, Neural Networks, Transformers, or Marvin the Paranoid Android are not welcome in AskLemmy. Real humans only please.
Reminder: The terms of service apply here too.
Partnered Communities:
Logo design credit goes to: tubbadu
AI didn't solve the navier stokes equation; the mathematician using an LLM did.
jfc grow up.
What mathematician?
OpenAI heard that a millennium prize was potentially about to be claimed by an Anthropic researcher and assigned it to a swarm of 10,000 autonomous agents at a cost of an estimated $15 million in inference.
There isn't a mathematician sitting there working with a LLM. OpenAI's solution seems to have been a brute force and mostly autonomous event to try to get ahead of other "mathematicians with their LLMs."
how fucking dumb are you that you think there wasn't a mathematician involved in solving one of math's greatest challenges?
"Mathematicians Tristan Buckmaster and Levent Alpöge spent about a year studying a related version of the Navier-Stokes equations with the assistance of AI. Their work showed that a solution in the friction-free version of the equations can develop a singularity in finite time, a result often described as mathematical "blow-up"."
https://www.firstpost.com/tech/has-openai-model-solved-80-year-old-navier-stokes-problem-mathematician-raises-questions-14044080.html
furthermore, OpenAI's solution is almost certainly built upon this work.
"The most consequential part of OpenAI's Navier-Stokes claim remains unverified. If its model has genuinely produced a valid proof of the full problem, it could represent an extraordinary moment for both mathematics and AI. But until the proof is made available for scrutiny, questions over its origins are likely to remain just as important as the claimed breakthrough itself."
OpenAI can end the discussion by making the proof available but hasn't.
and I'll add:
It does not appear to be directly built upon it, and they are allegedly in the process of submitting "substantial progress" on the Hodge conjecture and setting aside the inference to try the same approach on the other prize problems.
Give it a week or two and let's see.
If even a single other problem falls, it seems really unlikely the process by which Navier-Stokes was solved relied upon allegedly copying the work of the mathematicians involved in it, and that instead massive amounts of inference with current internal SotA models is sufficient.
You don't suddenly solve two different problems by relying on the work of a mathematician working on only one of them.
Edit: And just to explain Tao's comment — he's not saying "oh, they copied the work of my colleague." He's saying "holy crap, if tech companies are going to be adversarial and spend millions of dollars on inference to scoop my field when they hear we are getting close, it becomes risky to share that we're making progress on a given problem because then the lab can say to their AI 'here's millions in tokens, go work on X problem there's probably a solution.'"
His quote strengthens my point that this was accomplished without human mathematicians working on it, as that's effectively the core of his point.