Video wird geladen...

Video konnte nicht geladen werden

Zur Startseite

OpenAI solved math Tudor Achim reacts live to OpenAI solving the Navier-Stokes Millennium Prize Problem.

ThisWeeknAI's profile picture

This Week in AI

16,174 subscribers

57,161 Aufrufe • vor 19 Tagen •via X (Twitter)

Nachrichten & PolitikBildungWissenschaft & Technologie
LIVE

Anya Rossi• Live Now

Private livecam show

0 Kommentare

Keine Kommentare verfügbar

Kommentare vom Original-Post werden hier angezeigt

Ähnliche Videos

OpenAI said its new AI agents solved a 90-year-old math problem, known as the Navier-Stokes equations, in under four days. Now, an NYU professor is speaking out, claiming the AI ‘piggy-backed’ off of his research.
2:16

OpenAI said its new AI agents solved a 90-year-old math problem, known as the Navier-Stokes equations, in under four days. Now, an NYU professor is speaking out, claiming the AI ‘piggy-backed’ off of his research.

ABC News

151,129 Aufrufe • vor 19 Tagen

Will OpenAI and Anthropic ever crack this one? Behind this beautiful turbulence cascade lies a Millennium Prize Problem: For the 3D Navier-Stokes equations, nobody has proved whether every smooth flow remains smooth forever or whether a singularity can form in finite time.
0:54

Will OpenAI and Anthropic ever crack this one? Behind this beautiful turbulence cascade lies a Millennium Prize Problem: For the 3D Navier-Stokes equations, nobody has proved whether every smooth flow remains smooth forever or whether a singularity can form in finite time.

Mathelirium

15,438 Aufrufe • vor 1 Monat

The Navier-Stokes problem, simply explained.
1:21

The Navier-Stokes problem, simply explained.

Cleo Abram

32,103 Aufrufe • vor 13 Tagen

Meet Bartosz (Bartosz Naskręcki). A mathematician solving previously unsolvable math problems with GPT-5.6
2:12

Meet Bartosz (Bartosz Naskręcki). A mathematician solving previously unsolvable math problems with GPT-5.6

OpenAI

423,190 Aufrufe • vor 2 Monaten

The same model solving Navier–Stokes will write the most mediocre copy you’ve ever read.
0:39

The same model solving Navier–Stokes will write the most mediocre copy you’ve ever read.

Plausibly Deniable

46,004 Aufrufe • vor 15 Tagen

The Millennium Prize Problems are seven well-known complex mathematical problems selected by the Clay Mathematics Institute in 2000. The Clay Institute has pledged a US $1 million prize for the first correct solution to each problem. The Clay Mathematics Institute officially designated the title Millennium Problem for the seven unsolved mathematical problems, the Birch and Swinnerton-Dyer conjecture, Hodge conjecture, Navier–Stokes existence and smoothness, P versus NP problem, Riemann hypothesis, Yang–Mills existence and mass gap, and the Poincaré conjecture at the Millennium Meeting held on May 24, 2000. Thus, on the official website of the Clay Mathematics Institute, these seven problems are officially called the Millennium Problems. To date, the only Millennium Prize problem to have been solved is the Poincaré conjecture. The Clay Institute awarded the monetary prize to Russian mathematician Grigori Perelman in 2010. However, he declined the award as it was not also offered to Richard S. Hamilton, upon whose work Perelman built.
0:21

The Millennium Prize Problems are seven well-known complex mathematical problems selected by the Clay Mathematics Institute in 2000. The Clay Institute has pledged a US $1 million prize for the first correct solution to each problem. The Clay Mathematics Institute officially designated the title Millennium Problem for the seven unsolved mathematical problems, the Birch and Swinnerton-Dyer conjecture, Hodge conjecture, Navier–Stokes existence and smoothness, P versus NP problem, Riemann hypothesis, Yang–Mills existence and mass gap, and the Poincaré conjecture at the Millennium Meeting held on May 24, 2000. Thus, on the official website of the Clay Mathematics Institute, these seven problems are officially called the Millennium Problems. To date, the only Millennium Prize problem to have been solved is the Poincaré conjecture. The Clay Institute awarded the monetary prize to Russian mathematician Grigori Perelman in 2010. However, he declined the award as it was not also offered to Richard S. Hamilton, upon whose work Perelman built.

internet archiva

199,061 Aufrufe • vor 1 Jahr

OpenAI published a solution to one of the notoriously complex Millennium Prize Problems. It’s proof of AI’s accelerating and terrifying progress. Read more:
2:01

OpenAI published a solution to one of the notoriously complex Millennium Prize Problems. It’s proof of AI’s accelerating and terrifying progress. Read more:

The Wall Street Journal

57,688 Aufrufe • vor 12 Tagen

We partnered with Anthropic OpenAI to host the world's first math hackathon. 40 hours, $2M compute - solve, understand, and present an open problem. Applications are live:
1:17

We partnered with Anthropic OpenAI to host the world's first math hackathon. 40 hours, $2M compute - solve, understand, and present an open problem. Applications are live:

Sathvik Redrouthu

369,561 Aufrufe • vor 23 Tagen

Asked opus 5.5 to make a video of openai solving Navier-Stokes. Very nice model, I still prefer Astra and 5.6 as my main drivers as I do a lot of research heavy work but 5.5 Opus is the first time since 4.7 that I want to heavily run Claude. It has great taste.
1:48

Asked opus 5.5 to make a video of openai solving Navier-Stokes. Very nice model, I still prefer Astra and 5.6 as my main drivers as I do a lot of research heavy work but 5.5 Opus is the first time since 4.7 that I want to heavily run Claude. It has great taste.

Jimmy Apples 🍎/acc

41,222 Aufrufe • vor 5 Tagen

Per The Information, OpenAI now expects to crack the Hodge Conjecture - its second Millennium Prize target, while mathematicians are still furious about the Navier-Stokes announcement. We just recorded with Daniel Litt Daniel Litt (full episode soon), and he addressed exactly this: imagine superhuman AI churning out proof-PDFs nobody reads. 'These outputs are worthless if no one can understand them.' The singularity will arrive as a PDF attachment nobody opens 🤡
1:54

Per The Information, OpenAI now expects to crack the Hodge Conjecture - its second Millennium Prize target, while mathematicians are still furious about the Navier-Stokes announcement. We just recorded with Daniel Litt Daniel Litt (full episode soon), and he addressed exactly this: imagine superhuman AI churning out proof-PDFs nobody reads. 'These outputs are worthless if no one can understand them.' The singularity will arrive as a PDF attachment nobody opens 🤡

Ravid Shwartz Ziv

14,295 Aufrufe • vor 10 Tagen

Earlier this month, an Erdős problem that had been open for 60 years was solved with help from GPT-5.4 Pro. What happens now that AI is getting good at math? OpenAI researchers Sebastien Bubeck and Ernest Ryu join host Andrew Mayne to explain what changed and what it could mean for the future of research.
43:28

Earlier this month, an Erdős problem that had been open for 60 years was solved with help from GPT-5.4 Pro. What happens now that AI is getting good at math? OpenAI researchers Sebastien Bubeck and Ernest Ryu join host Andrew Mayne to explain what changed and what it could mean for the future of research.

OpenAI

474,728 Aufrufe • vor 5 Monaten

Two mathematicians are accusing OpenAI of lifting their unpublished work on one of math's hardest unsolved problems. Tristan Buckmaster, an NYU math professor, and Levent Alpoge spent about a month working with AI models, mainly Codex, on finite time blow up results for the Navier Stokes existence and smoothness problem, one of the seven Millennium Prize problems carrying a million dollar bounty. On September 6th, OpenAI's Sebastien Bubeck told Buckmaster that OpenAI had solved the same problem using the Cordoba Martinez Zoroa approach. Buckmaster then published a statement alleging that OpenAI's result echoed drafts from his and Alpoge's private Codex sessions, and that OpenAI offered to publish jointly while allegedly pushing to cut Alpoge out as a co-author. OpenAI's Shunyu Douglas and Will Depue publicly denied any access to or training on private user chat logs, calling the scenario essentially impossible under the company's data controls. Bubeck separately said he acted within academic norms and called some circulating claims false. On September 8th, Buckmaster and Alpoge, joined by Matei Costalescu, made three results public without OpenAI involvement, finite time blow up with smooth forcing for incompressible porous media, for the Boussinesq equations, and for 3D incompressible Euler, alongside a lean formalization posted on GitHub.
1:40

Two mathematicians are accusing OpenAI of lifting their unpublished work on one of math's hardest unsolved problems. Tristan Buckmaster, an NYU math professor, and Levent Alpoge spent about a month working with AI models, mainly Codex, on finite time blow up results for the Navier Stokes existence and smoothness problem, one of the seven Millennium Prize problems carrying a million dollar bounty. On September 6th, OpenAI's Sebastien Bubeck told Buckmaster that OpenAI had solved the same problem using the Cordoba Martinez Zoroa approach. Buckmaster then published a statement alleging that OpenAI's result echoed drafts from his and Alpoge's private Codex sessions, and that OpenAI offered to publish jointly while allegedly pushing to cut Alpoge out as a co-author. OpenAI's Shunyu Douglas and Will Depue publicly denied any access to or training on private user chat logs, calling the scenario essentially impossible under the company's data controls. Bubeck separately said he acted within academic norms and called some circulating claims false. On September 8th, Buckmaster and Alpoge, joined by Matei Costalescu, made three results public without OpenAI involvement, finite time blow up with smooth forcing for incompressible porous media, for the Boussinesq equations, and for 3D incompressible Euler, alongside a lean formalization posted on GitHub.

AGTP

86,631 Aufrufe • vor 19 Tagen

The fly is solving Millennium Prize Problems. Just need to RL out the banana factor to crack the last one.
0:20

The fly is solving Millennium Prize Problems. Just need to RL out the banana factor to crack the last one.

Marcus Tallhamn

23,835 Aufrufe • vor 18 Tagen

Greg Brockman says solving a Millennium Prize problem could be just 2-5 years away we’re at AGI level-3; level-4 innovators will be different. Imagine a whole data center focused on curing cancer or solving a Millennium problem: "that level of computational power is something the world has never seen"
1:27

Greg Brockman says solving a Millennium Prize problem could be just 2-5 years away we’re at AGI level-3; level-4 innovators will be different. Imagine a whole data center focused on curing cancer or solving a Millennium problem: "that level of computational power is something the world has never seen"

Haider.

29,728 Aufrufe • vor 1 Jahr

OpenAI President Greg Brockman on solving the Navier-Stokes problem: "If we have models that can solve this kind of problem, what happens from here?" "I think that talking about curing diseases and new medicines we're going to be able to develop, all of that starts to become much more real when you have models that are at this level of assistance and capability." "[This result] is really about the broader insights and methods that can help scientists and mathematicians further accelerate their research."
1:09

OpenAI President Greg Brockman on solving the Navier-Stokes problem: "If we have models that can solve this kind of problem, what happens from here?" "I think that talking about curing diseases and new medicines we're going to be able to develop, all of that starts to become much more real when you have models that are at this level of assistance and capability." "[This result] is really about the broader insights and methods that can help scientists and mathematicians further accelerate their research."

TBPN

40,394 Aufrufe • vor 19 Tagen

I’m crying of laughter - please let this be the model that solved Navier-Stokes (this guy’s name is hayZee, we need to get him on here!)
1:37

I’m crying of laughter - please let this be the model that solved Navier-Stokes (this guy’s name is hayZee, we need to get him on here!)

Justine Moore

91,129 Aufrufe • vor 4 Tagen

OpenAI, 1 milyon dolarlık Navier-Stokes problemini çözen yapay zeka ajanlarını duyururken arkasında bir akademik skandal patlak verdi. Türk matematikçi Levent Alpöge’nin ismi, sırf rakip şirket Anthropic’te çalışıyor diye çalışmadan silinmek istendi.
2:25

OpenAI, 1 milyon dolarlık Navier-Stokes problemini çözen yapay zeka ajanlarını duyururken arkasında bir akademik skandal patlak verdi. Türk matematikçi Levent Alpöge’nin ismi, sırf rakip şirket Anthropic’te çalışıyor diye çalışmadan silinmek istendi.

Avernias

30,354 Aufrufe • vor 19 Tagen

finally solved the rat king millenium prize problem
0:28

finally solved the rat king millenium prize problem

VISION QUENCH - DEMO OUT NOW!!!

32,783 Aufrufe • vor 17 Tagen

On September 8, 2026, OpenAI published a proof that the Navier-Stokes equations can break down - a question open since 1934 and one of seven $1 million Clay Millennium Prize problems. Every weather forecast, aircraft simulation, and fluid physics engine running on GPU clusters assumes these equations always work. This proof says they don't. The solution constructs a vortex that stretches itself infinitely thin in finite time - fluid spiraling inward, escaping upward, accelerating without limit. Every step verified by a computer in the formal proof language Lean. 4 minutes. Bookmark & watch today. The most important math result of 2026.
2:31

On September 8, 2026, OpenAI published a proof that the Navier-Stokes equations can break down - a question open since 1934 and one of seven $1 million Clay Millennium Prize problems. Every weather forecast, aircraft simulation, and fluid physics engine running on GPU clusters assumes these equations always work. This proof says they don't. The solution constructs a vortex that stretches itself infinitely thin in finite time - fluid spiraling inward, escaping upward, accelerating without limit. Every step verified by a computer in the formal proof language Lean. 4 minutes. Bookmark & watch today. The most important math result of 2026.

Deliriumm

42,744 Aufrufe • vor 17 Tagen