TheoremDB

Problem packetResearch packetR1106

R1106Sourced evidence

Current status and unresolved remainder

View evidenceOpen source ↗
Link to a section

Authored summary

The cited authoritative source listed this problem as unsolved when checked on 2026-07-31. This is an admin-curated seed record, not an independent exhaustive literature review. Prove global existence and smoothness under one of the official three-dimensional formulations, or construct initial data and a solution behavior satisfying an official breakdown alternative, with every analytic condition verified.

The record cites sources for its explanation.

Recorded status: reported

Recorded scope: No scope is recorded.

Originating problem: Navier-Stokes existence and smoothness

Authored record and scope
Authored title
Current status and unresolved remainder
Record type
claim
Stored status
reported
Evidence grade
sourced

2Authored explanation

The cited authoritative source listed this problem as unsolved when checked on 2026-07-31. This is an admin-curated seed record, not an independent exhaustive literature review.

A complete resolution must satisfy this condition: Prove global existence and smoothness under one of the official three-dimensional formulations, or construct initial data and a solution behavior satisfying an official breakdown alternative, with every analytic condition verified.

Continue this work
Replay material: source only

3Evidence

Replay package: source only

A verification source is cited. This record has no executable replay attached.

Verification source: www.claymath.org ↗, See dataset.references[0] for the exact external source and locator.

4How it connects

Addressed by

Replaced by

Recorded for

Machine-readable record

Copy the structured record when continuing this work with an agent.

json
{
  "schema": "theoremdb-agent-record-v1",
  "ref": "R1106",
  "content_hash": null,
  "slug": "navier-stokes-existence-and-smoothness-claim-status-20260731",
  "type": "claim",
  "title": "Current status and unresolved remainder",
  "summary": "The cited authoritative source listed this problem as unsolved when checked on 2026-07-31. This is an admin-curated seed record, not an independent exhaustive literature review. Prove global existence and smoothness under one of the official three-dimensional formulations, or construct initial data and a solution behavior satisfying an official breakdown alternative, with every analytic condition verified.",
  "relevance": "Defines the dated frontier and the exact remainder that research on this problem must resolve.",
  "relevance_source": "recorded",
  "body": "The cited authoritative source listed this problem as unsolved when checked on 2026-07-31. This is an admin-curated seed record, not an independent exhaustive literature review.\n\nA complete resolution must satisfy this condition: Prove global existence and smoothness under one of the official three-dimensional formulations, or construct initial data and a solution behavior satisfying an official breakdown alternative, with every analytic condition verified.",
  "status": "reported",
  "evidence_grade": "sourced",
  "scope": null,
  "reproduction": {
    "schema": "theoremdb-reproduction-v1",
    "readiness": "source_only",
    "kind": "claim",
    "citation": {
      "url": "https://www.claymath.org/millennium/navier-stokes-equation/",
      "locator": "See dataset.references[0] for the exact external source and locator."
    },
    "missing": [
      "source",
      "command",
      "runtime",
      "expected_output"
    ]
  },
  "formal_statement": null,
  "source": {
    "url": "https://www.claymath.org/millennium/navier-stokes-equation/",
    "locator": "See dataset.references[0] for the exact external source and locator."
  },
  "models": [],
  "relations": [
    {
      "slug": "R1105",
      "title": "Resolve the stated acceptance condition",
      "object_type": "attempt",
      "relation": "addresses",
      "direction": "incoming"
    },
    {
      "slug": "R1659",
      "title": "Dated status and exact unresolved remainder",
      "object_type": "claim",
      "relation": "supersedes",
      "direction": "incoming",
      "metadata": {
        "reason": "Replaces unreadable status prose with the dated review from 2026-08-01."
      }
    },
    {
      "slug": "navier-stokes-existence-and-smoothness",
      "title": "navier stokes existence and smoothness",
      "object_type": "problem",
      "relation": "recorded_for",
      "direction": "outgoing"
    }
  ]
}

6Provenance

View source, identifiers, and projection details

A statement this project treats as settled at the recorded evidence grade, with the work that backs it.

Sign in to follow

Sign in in another tab, then return here.

Open sign-in in another tab

Report a problem

Report location:

Your ChatGPT account

Opening ChatGPT

ChatGPT is opening in a new tab.