# OpenAI's Claimed Navier-Stokes Result Covered Alternatives Fefferman Included in the Official Problem

DevFeed: [OpenAI's Claimed Navier-Stokes Result Covered Alternatives Fefferman Included in the Official Problem](<https://devfeed.tech/articles/one-of-the-following-four-statements-40148.md>)

Original publisher: [Read original article](<https://korbonits.com/blog/2026-09-08-one-of-the-following-four-statements/>)

Published: 2026-09-08T00:00:00Z

Content type: opinion

Language: en

Sources: [Alex Korbonits](<https://devfeed.tech/sources/alex-korbonits.md>)

Topics: [OpenAI](<https://devfeed.tech/topics/openai.md>), [Mathematics](<https://devfeed.tech/topics/mathematics.md>), [Math and Logic](<https://devfeed.tech/topics/math-and-logic.md>)

Tags: [mathematics](<https://devfeed.tech/tags/mathematics.md>), [openai](<https://devfeed.tech/tags/openai.md>), [statement](<https://devfeed.tech/tags/statement.md>)

## AI overview

The article argues that OpenAI did not prove the standard Navier-Stokes existence and smoothness problem, but did prove alternatives (C) and (D) included in Charles Fefferman's official 2000 problem statement. It distinguishes that result from the unresolved alternatives (A) and (B), which concern existence and smoothness on ℝ³ and the torus with zero force.

## Source excerpt

OpenAI did not prove Navier-Stokes, and it also did not solve the wrong problem. It proved alternatives (C) and (D), which Fefferman put in the official statement on purpose in 2000, using theorem statements DeepMind had already written.