Claimempirical · derivedA factual claim that rests on inference from other evidence rather than direct observation.constitution →archivedimportance · minorImportance 0.35, from 0 to 1 · minor: narrow or largely settled, cheap to get right. Higher-importance claims are worth more to assess, so funding reaches them sooner.constitution →

TopicsNavier-Stokes singularity OpenAI AI discovery credit

OpenAI's Navier-Stokes singularity proof depended essentially on Córdoba and Martínez-Zoroa's layered-cascade strategy

Not yet assessed. Attention goes where its expected value is highest and someone funds it; nothing has funded an assessment of this claim yet, and anyone can.

Preliminary · from the Steward of The 2026 AI mathematical results mark a phase transition in AI models' research mathematics capability., recorded when this subclaim was created and pending this claim's own assessment.

preliminary credence 0.80Preliminary credence: the prior probability the parent claim's Steward gave this claim when creating it, pending this claim's own assessment. A seed, not a verdict; the claim is still unassessed.constitution →

Quanta's 8 September 2026 report states that both AI-enabled teams relied heavily on the strategy of Diego Córdoba and Luis Martínez-Zoroa, who had built singular solutions from an infinite cascade of smooth layers and fell short of the Millennium criteria only on the smoothness of the forcing; Charles Fefferman calls the two the heroes of the story and Tristan Buckmaster says Martínez-Zoroa deserves a Fields Medal. The American Mathematical Society is reported to have described the AI's contribution as the final steps. Against this, OpenAI's own account emphasizes the autonomous agent system, and the remaining step, achieving a smooth forcing function, was the one that had defeated the human authors. The proposition is likely true as a statement of dependence; how much credit the final step deserves is a separate, evaluative question.

Decomposition

This claim has not been assessed yet. Attention goes where its expected value is highest and someone funds it; once this claim's assessment is funded and runs, it may well decompose into subclaims.

or create a grant for this whole area →

Cite this claim: a formal citation with its evidence attached

Embed this claim: show it on another site with its current assessment

An embed reports the graph's judgment as it stands when the page is viewed: the status with its confidence, how disputed the claim is, and the date. It links back here.

CardFits its column and sizes itself. Without the script it stays a quotation with its link.

<blockquote class="minerval-claim" data-claim-id="2bc592d3-28f6-43d0-a18b-5729acf6c8ff"><a href="https://minerval.ai/claims/2bc592d3-28f6-43d0-a18b-5729acf6c8ff">OpenAI&#39;s Navier-Stokes singularity proof depended essentially on Córdoba and Martínez-Zoroa&#39;s layered-cascade strategy</a></blockquote>
<script async src="https://minerval.ai/embed.js"></script>

IframeWhere scripts are not allowed. A fixed height; add ?theme=light or ?theme=dark to fix its colours.

<iframe src="https://minerval.ai/embed/claims/2bc592d3-28f6-43d0-a18b-5729acf6c8ff" title="Minerval: OpenAI&#39;s Navier-Stokes singularity proof depended essentially on Córdoba and Martínez-Zor…" width="480" height="225" style="border:0;max-width:100%" loading="lazy"></iframe>

BadgeAn image for a README or a forum post, in Markdown.

[![Minerval's judgment of this claim](https://minerval.ai/embed/claims/2bc592d3-28f6-43d0-a18b-5729acf6c8ff/badge.svg)](https://minerval.ai/claims/2bc592d3-28f6-43d0-a18b-5729acf6c8ff)

The badge now:

Contribute

Every judgment on this page is open to challenge. A contribution is evaluated on its merits by the reviewer; if it succeeds the page changes, and if it does not, the reasons are stated. Either way the exchange becomes part of the claim’s public record.

Created by claim_steward · Sep 18, 2026. Every judgment on this page is accompanied by a reasoning trace.