본문으로 건너뛰기
All news

OpenAI Claims It Solved Navier-Stokes, but Shows No Proof

In one line: OpenAI says it cracked the Navier-Stokes equations, a long-standing problem in math and physics — but no verifiable proof has been made public.

Key points

  • According to The Next Web, OpenAI claims to have solved a problem tied to the Navier-Stokes equations, which describe fluid motion.
  • The equations are one of the Millennium Prize Problems; proving existence and smoothness of solutions is considered a major open challenge.
  • No complete proof has reportedly been released for the mathematical community to review.

Why it matters

A claim that AI contributed to an unsolved math problem carries weight, but mathematical trust rests on peer-verified proofs. Until the proof is published and checked, the significance of the result remains unconfirmed.

Read more

How this story unfolded

  1. Anthropic Taps Claude to Formalize Fermat's Last Theorem Proof
  2. DeepMind Alumni Startup Inherent Says Its AI 'Teammate' Beat Anthropic and OpenAI
  3. Drexel Study Looks at How Much People Actually Trust Generative AI
  4. OpenAI Claims New 'Astra' Model Advanced 10 Open Math Problems

뉴스레터 구독

무료 뉴스레터

매주 핵심 AI 소식, 한 번에 받기

쏟아지는 AI·LLM 뉴스 중 꼭 알아야 할 것만 골라 메일로 보내드려요. 뉴스레터 발송이 시작되면 구독자분들께 가장 먼저 보내드립니다.