other

Navier-Stokes existence and smoothness

Open problem in mathematics asking whether smooth solutions of the three-dimensional incompressible Navier-Stokes equations exist for all time or can break down in finite time; one of the Millennium Prize Problems.

Known aliases

3D Navier-Stokes
Navier-Stokes existence and smoothness

Relationships

No evidence-backed relationships are recorded.

Current clusters

leadership2 publishers

OpenAI's Navier-Stokes claim sparks dispute over whether mathematicians' data was accessed

OpenAI says no specific user data was accessed to solve the problem, and that it cannot rule out that de-identified data derived from two mathematicians' use of its products improved its models. A procurement team has to read both sentences.

Publishers:businessinsider.comtheguardian.com

Reality

Evidence55
Adoption20
Hype gap+35
Incentives85
Confidence62

product1 publisher

Mathematicians set the verification bar for AI proofs by shipping the Lean file

OpenAI says roughly 10,000 agents produced a Navier-Stokes singularity proof in about 88 hours, but the only proofs an outsider can run belong to two mathematicians who posted Lean formalisations with their preprints.

Publishers:thenextweb.com

Reality

Evidence42
Adoption22
Hype gap+45
Incentives78
Confidence52