AI Just Solved a $1,000,000 Math Problem (not without controversy!)

AI Just Solved a $1,000,000 Math Problem (not without controversy!)

🎙 Up and Atom (Jade Tan-Holmes) 👥 857K 📅 September 10, 2026 ⏱ 14 min 👁 2K 📄 science communication 🧭 2026-09-10
Available in: English (current) Français

Keywords

Navier-Stokes equationsMillennium Prize ProblemOpenAISingularityLean verificationvortex stretchingAI proofmathematical controversy

Summary

The video reports on OpenAI’s announcement on September 8th that they had solved the Navier-Stokes Millennium Prize problem, a major open problem in mathematics. The solution involves a smooth force that leads to a finite-time singularity in a fluid initially at rest. OpenAI used a system of AI agents (around 10,000) that produced an analytical proof and a Lean formalization. The video explains the Navier-Stokes equations, the concept of smoothness, and the distinction between the full problem and simpler variants like the Euler equations. It then details the controversy: two mathematicians, Levent Alpagay (Anthropic employee) and Tristan Buckmaster (NYU professor), had been working on a related problem and believed OpenAI used their code, possibly through training data from OpenAI’s own products, to leapfrog their work. Accusations of data misuse and attempts to remove Alpagay from authorship led to public conflict. OpenAI denies wrongdoing and, notably, does not plan to claim the $1,000,000 prize. The video balances the mathematical context with the ethical and collaborative issues, leaving the viewer to form their own opinion.

173 words

Critical Evaluation

Value of the Information & Strength of the Argument

The video provides high value by making a highly technical mathematical problem accessible to a general audience. It uses clear analogies (color patch, vortex stretching) and breaks down the problem into manageable parts. The argumentation is balanced: it presents both OpenAI’s official statements and the mathematicians’ counterpoints, quoting extensively from original sources. It also situates the event within the broader context of AI competition and ethical concerns about data usage. The video does not take a definitive stance but weighs the evidence, at times pointing out inconsistencies (e.g., the rumor about Anthropic solving the problem, the timeline of events). The inclusion of costs (output tokens, $7 million) and the number of agents adds concreteness. Overall, the argumentation is solid and multifaceted, though it relies heavily on the accounts of the involved parties.

Scientific Rigor, Source Quality, Title Accuracy

The video is rigorous in its sourcing: it references OpenAI’s official page, a tweet from OpenAI, and links to visualizations (minfx.ai). It also mentions the mathematicians’ public statements (via tweets and a Mastodon post). The title accurately reflects the content and does not overhype beyond the actual news. However, since the video is a news review, it does not attempt to verify the mathematical proof itself, relying on OpenAI’s claim. The adéquation between title and content is strong; the video indeed covers both the mathematical claim and the controversy. The public comments were not provided for analysis, so no trends can be assessed.

250 words

Title / Content Match

The title accurately reflects the content: the video discusses AI solving a $1,000,000 math problem (Navier-Stokes) and the ensuing controversy about credit and data usage.

Quality & Reliability

8/10

The video provides a clear, well-researched explanation of the Navier-Stokes problem and the surrounding controversy, citing official sources and direct quotes. It distinguishes between verified facts (the announcement) and disputed interpretations, and maintains a neutral tone while acknowledging uncertainty. The quality is high for a science communication video, though it does not independently verify the mathematical proof.

Key Moments

Cited Sources

Concurring Sources

  • OpenAI Navier-Stokes official page — Supports the claim that OpenAI produced a proof and formalization for the forced blow-up in R3.

External References

Contribution & Novelties

This video contributes by synthesizing the current state of a breaking news story about AI and mathematics, offering a clear explanation of the technical problem and the controversy in one accessible format. It highlights the ethical and collaboration issues raised by the use of AI in research, particularly concerning data privacy and credit attribution. The video adds value by connecting the mathematical details with the human drama, providing context that is often missing in official announcements.

Pour aller plus loin :

120 words

Radar Profile

The radar profile shows high scores in quantity of information (9) and quality (8), indicating a dense, well-explained content. The technical level (6) is moderate, accessible to a general audience but still covering advanced concepts. Global reliability (7) is good due to careful attribution, though the dependence on unverified claims prevents a higher score. The overall note of 4/5 aligns with the strong information and balance, with a minor deduction for lack of independent verification.

Reliability 7/10