OpenAI vient d’ouvrir la boîte de Pandore

Summary

The video reports that OpenAI and Anthropic have independently used AI systems to produce proofs challenging the Exponential Time Hypothesis (ETH), a long-standing assumption in theoretical computer science.

The presenter says OpenAI published a proof alongside a version checked in Lean, a proof-assistant system, and invited researchers outside the company to examine it. Their participation should not be taken as endorsement or validation, the video stresses.

Key concepts and claims

• P vs. NP: The video explains the question with an analogy involving switches: as the number of switches grows, the number of possible combinations increases exponentially. It distinguishes problems that can be solved in polynomial time (P) from problems whose proposed solutions can be checked quickly (NP). Whether P equals NP remains unresolved.
• ETH and 3-SAT: ETH is presented as the belief that certain problems, including the benchmark problem 3-SAT, cannot be solved substantially faster than by searching through an exponentially large set of possibilities. The AI-generated result reportedly challenges this presumed limit—the “glass ceiling”—by providing a sub-exponential approach.
• What the result does—and does not—mean: According to the video, the claimed improvement is currently modest and only outperforms existing methods at large problem sizes. It does not prove P = NP. OpenAI reportedly said it had checked the cryptographic implications and was reasonably confident the result would not break current encryption.
• Research implications: The presenter says many papers rely on ETH, but questioning the assumption does not automatically invalidate their conclusions; some may simply lose a supporting premise. Researchers are already working to understand, simplify, and improve the proof. The video compares the result to breaking the four-minute mile barrier: once a supposed limit is questioned, further progress may follow.
• Other AI-generated results: The video mentions separate OpenAI claims concerning a mathematical conjecture about waves and a proof related to quantum chromodynamics. It says the latter is being examined by a group led by Nobel laureate David Gross, which has chosen to rewrite the work before publishing it. These are described as developing and unconfirmed claims.
• Broader outlook: The presenter argues that AI is beginning to contribute to scientific discovery, while people still need to interpret, verify, and apply its results. A large cryptocurrency theft mentioned in the video is explicitly presented as coincidental; the presenter says no technical details were available to link it to the ETH news.

Guide, tutorial, or product information

The video includes no technical walkthrough of how to run the AI models or reproduce the proof.

In the closing section, the presenter promotes Vision AI Academy, a training program covering:

• Running local AI for text, images, video, and audio
• Connecting and orchestrating multiple AI systems
• Practical applications, automation, and monetization
• Marketing, sales, mindset lessons, and a community

The presenter says the course is self-paced and currently offered at a launch price.

Main speakers and sources

• Main speaker: The host of the Vision IA channel, providing the explanation and commentary.
• Sources discussed: AI systems from OpenAI and Anthropic/Claude, and researchers including Ryan Williams, Ryan O’Donnell, Timothy Gowers, Donald Knuth, and David Gross. The video reports their roles or views but does not include direct interviews with them.