{"id":"b19a95e0-ea0d-4a05-84d6-36045ec2cb83","arxiv_id":"2509.07638","paper_version":1,"verdict":"UNVERDICTED","confidence":"HIGH","novelty_score":0.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"An expert survey of the history, known theorems, and open status of singularity formation for the Navier-Stokes and Euler equations, with no new mathematical results.","lead":"This paper is a survey, in Portuguese, of the unsolved Navier-Stokes Millennium problem and the related question of singularities in the Euler equations. A generalist might read it to get a quick, expert map of a famous open problem and the recent computer-assisted blow-up results.","discovery_kind":"review","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 9 omits the boundary-domain caveat; unqualified '3D Euler singularities' may be misread as the whole-space problem, which remains open.","rationale":"The reader correctly notes that the survey is expository, so 'UNVERDICTED' is a natural baseline. However, my concern is distinct from the reader's weakest assumption. Even granting the correctness of the computer-assisted proof—now published—Theorem 9 as stated is incomplete: it asserts '3D Euler formam singularidades' without saying in what domain, while the text's own later remark about the singularity originating at the boundary contradicts the initial whole-space setup. That incompleteness is load-bearing because the significance of the Chen–Hou theorem for the classical singularity problem depends on whether it applies to boundary-free settings. If it is a bounded-domain result, the whole-space Euler problem remains open and the survey's framing overstates the state of the art. This is not a question of numerical accuracy or honesty; it is a precise caveat that should be included in the theorem statement. I therefore recommend the survey be accepted conditional on adding the domain qualification (and on correcting the 'não aceito' sentence, which is already stale). The verdict differs from the reader's by being CONDITIONAL rather than simply UNVERDICTED, because a specific correction is needed to prevent over-interpretation.","tokens_in":9802,"tokens_out":9549,"duration_ms":107278,"concrete_test":"Compare the statement of Theorem 9 with the published Chen–Hou papers [6,7]: read the main theorem in [7] (Multiscale Model. Simul. 23(1):25–130, 2025) and its companion [6], and record the exact domain and boundary conditions (e.g., R^3, T^3, a bounded cylinder with free-slip/no-penetration boundary, etc.). If the domain has a boundary, then the survey overstates the theorem by omitting this qualification in Theorem 9; if the Chen–Hou result is actually for whole-space, then this concern collapses. A second check: read ref [18]'s abstract to confirm whether the 'potential 3D Navier-Stokes singularity' statement concerns generalized axisymmetric Navier–Stokes or the full equations.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The survey's most consequential statement is Theorem 9: 'Existe uma familia de dados iniciais suaves ... para os quais 2D Boussinesq e 3D Euler formam singularidades estáveis e quase auto-similares em tempo finito.' The theorem is stated with no spatial domain. But the PDEs in eq. (1) and the Millennium formulation are for R^3 with Schwartz data and decay at infinity, and the classical Euler singularity question discussed in the text is the whole-space question. Later the survey says 'A singularidade se origina na fronteira do domínio.' That phrase reveals the Chen–Hou blow-up being reported is for a domain with boundary, not for R^3/T^3. The unqualified Theorem 9 therefore invites the reader to think the whole-space Euler finite-time singularity problem has been solved, whereas the cited work establishes a boundary-driven phenomenon in a domain with boundary. This is load-bearing because the entire recent-advance narrative depends on what Theorem 9 actually proves. The secondary claim 'Hou ... sugere singularidade potencial também para 3D Navier-Stokes' is also unqualified: ref [18] is about generalized axisymmetric Navier–Stokes, not full 3D Navier–Stokes. The statement 'O trabalho completo ainda não foi aceito para publicação' is outdated—[7] is published in Multiscale Model. Simul. 23(1) (2025)—and is not the main issue.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This is a Portuguese-language survey, based on a plenary talk, of the mathematical theory around the Navier–Stokes Millennium problem and finite-time singularity questions for the Euler equations. It states the PDEs on R^N, recalls the Millennium problem for R^3, and reviews classical results: Kato local well-posedness, Leray–Hopf weak solutions, Wiedemann's wild solutions, the Constantin–Lax–Majda model, vortex patches, SQG, scaling-critical spaces, and the Serrin and BKM blow-up criteria. The final part presents Chen and Hou's computer-assisted construction of stable, nearly self-similar blow-up for 2D Boussinesq and 3D Euler and reports Hou's suggestion of a possible connection to 3D Navier–Stokes. No new mathematical results are claimed.","tokens_in":10134,"tokens_out":7232,"duration_ms":81273,"significance":"As a survey, the paper is useful and generally reliable: it covers a broad set of standard results in a concise and historically informed way, and it draws attention to a major recent development in the singularity problem. Its value, however, depends on the accuracy of the framing of that recent development. The paper explicitly acknowledges the computer-assisted nature of the Chen–Hou proof and notes, in the following paragraph, that the singularity originates at the boundary of the domain. Those acknowledgements are strengths. The survey is not an original research contribution and makes no falsifiable predictions; its significance lies entirely in exposition.","major_comments":[{"comment":"Theorem 9 is stated without specifying the spatial domain: it asserts that there is a family of smooth data for which 2D Boussinesq and 3D Euler form stable nearly self-similar singularities in finite time. Since the system (1) is introduced on R^N and the Millennium problem is stated on R^3 with Schwartz data, this unqualified statement invites the reader to believe that the whole-space 3D Euler finite-time blow-up problem has been resolved. The very next paragraph says 'A singularidade se origina na fronteira do domínio', so the domain in Chen–Hou's work has a boundary. The theorem statement should explicitly name the domain (e.g., axisymmetric Euler in a cylinder-like domain with boundary, and the analogous Boussinesq setting) and should state that the whole-space problem remains open. This is load-bearing for the survey's central recent-advance narrative.","section":"Theorem 9, p. 11"},{"comment":"The survey states: 'Em 2024 Hou anunciou que esta configuração sugere singularidade potencial também para 3D Navier-Stokes', citing reference [18]. The cited title is 'Nearly self-similar blowup of generalized axisymmetric Navier-Stokes equations'. This is a modified model, not the full 3D Navier–Stokes system. As written, the survey overstates the implication for the Millennium problem. The sentence should explicitly say 'generalized axisymmetric Navier–Stokes' and should avoid suggesting that a direct singularity scenario for full 3D Navier–Stokes has been announced.","section":"p. 11, sentence citing [18]"}],"minor_comments":[{"comment":"The sentence 'O trabalho completo ainda não foi aceito para publicação' is outdated or at least ambiguous: reference [7] is listed as published in Multiscale Modeling & Simulation 23(1):25–130, 2025. If the intended referent is Part I only, that should be stated explicitly.","section":"p. 11, after Theorem 9"},{"comment":"The title mixes Portuguese and English: 'Navier-Stokes and Euler' should read 'Navier-Stokes e Euler' in a Portuguese-language article.","section":"Title"},{"comment":"Reference [18] is dated 2025 in the bibliography, while the text says 'Em 2024 Hou anunciou'. Please clarify whether the announcement was in 2024 and the paper appeared in 2025.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is a survey and should be evaluated as such. The two major comments concern the accuracy of the headline recent-advance claims; they are correctable within the scope of the manuscript, so rejection is not warranted. If the target venue does not normally publish expository survey notes, the fit may be a separate editorial concern."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"You can read this as a plenary-talk write-up: no new math, but a mostly reliable map of the field. The historical and analytical narrative is solid—Kato, Leray–Hopf, Wiedemann, Constantin–Lax–Majda, Chemin, SQG, critical spaces, Serrin, BKM, Constantin–Fefferman–Majda—and the exposition is clear. If a newcomer to the area reads Portuguese, this is a fine orientation text.\n\nThe stress-test is right about the load-bearing flaw. Theorem 9 states that there exist smooth initial data for which 2D Boussinesq and 3D Euler form stable, nearly self-similar singularities in finite time, with no mention of the domain. The Millennium problem and the earlier discussion are about the whole space R^3. Later the text says the singularity originates on the boundary of the domain, but that caveat is not attached to Theorem 9. As written, a reader can reasonably conclude that the entire-space Euler regularity problem is settled, which is not what Chen–Hou prove. That is not a small artifact; it is the central recent-advance claim of the survey.\n\nThe secondary issue is the sentence that Hou's configuration suggests a potential singularity for 3D Navier-Stokes. The cited reference is about generalized axisymmetric Navier-Stokes, not the full 3D Navier-Stokes equations. The survey does not flag that this is a modified model, so the statement overreaches.\n\nMinor point: the text says the full Chen–Hou work has not been accepted for publication, while reference [7] is listed as published in MMS 2025. That looks like a timing mismatch and should be fixed, but it is not a substantive problem.\n\nOn the positive side, the survey is largely accurate, the citations are standard, and the authors clearly know the area. The standard results are stated correctly. The problems are in the framing of the recent work, not in the classical parts.\n\nMy take: as an expository note it deserves referee time, but only if the referees require the domain condition to be inserted into Theorem 9 and the Navier-Stokes claim to be qualified. Without those changes, the survey misleads its intended audience about what is actually known. I would not cite it in my own work, but I might point a student to it after corrections.","headline":"Useful survey, but Theorem 9 overstates Chen–Hou by omitting the boundary-domain caveat, and the 3D Navier-Stokes hint is presented too strongly.","tokens_in":10617,"tokens_out":1792,"would_cite":false,"duration_ms":18468,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q30","35Q31","35B44"],"pacs":[],"model":"deepseek-v4-flash","headline":"The survey's central claim: smooth solutions of 3D Euler can blow up in finite time, with a possible bridge to Navier-Stokes.","keywords":["Navier-Stokes equations","Euler equations","finite-time singularity","vorticity stretching","Millennium Prize problem","self-similar blow-up","computer-assisted proof","Boussinesq equations"],"falsifier":"Independently verify the computer-assisted bounds in references [6,7] — recompute the interval arithmetic for the self-similar profile and the stability constants; if any claimed inequality fails, the theorem's proof is invalid. For the suggested Navier-Stokes singularity, run a high-resolution adaptive simulation of the axisymmetric configuration of [18] on the full 3D equations: if vorticity remains bounded well beyond the projected blow-up time, the transfer to Navier-Stokes would be contradicted.","tokens_in":9726,"feed_emoji":"🌊","tokens_out":8490,"duration_ms":74286,"temperature":0.7,"pith_summary":"This survey, written in Portuguese as a plenary overview, maps the long-standing question of whether smooth solutions of the Euler and Navier-Stokes equations can develop singularities in finite time. Its central point is that this question has recently become concrete: the authors present Theorem 9, a computer-assisted result of Chen and Hou, asserting that there is a family of smooth initial data for which the 2D Boussinesq and 3D Euler equations form stable, nearly self-similar singularities in finite time. Around this result, the paper organizes the classical toolbox — local well-posedness, Leray-Hopf weak solutions, the Beale-Kato-Majda criterion, critical spaces — to explain why the 3D vorticity-stretching term can produce Riccati-like blow-up while 2D vorticity transport cannot. The survey also reports Hou's announcement that the same configuration suggests a potential singularity for the 3D Navier-Stokes equations, which remains a conjecture. The value of the survey is a clear map of the exact state of the Millennium problem and its inviscid neighbor.","feed_headline":"Computer-assisted proof: 3D Euler blows up from smooth data","feed_subtitle":"A new theorem on stable, self-similar singularities may decide the Navier-Stokes question.","key_machinery":"The load-bearing mechanism is the vorticity formulation. Taking the curl of the velocity equation gives ∂tω + (u·∇)ω = (ω·∇)u + νΔω; the term (ω·∇)u, the vortex-stretching term, is quadratic in ω and has the same order of regularity as ω, making the equation locally resemble a Riccati equation Ẇ = W² that blows up in finite time. In 2D this term vanishes, which is why vorticity transport prevents singularities. The survey's models — the one-dimensional 'baby vorticity equation' ∂tω = H(ω)ω with the Hilbert transform, the contour dynamics of a vortex patch, and the SQG equation — are used to show both the plausibility and the subtlety of blow-up. The modern result's machinery is the stable, n","core_discovery":"The authors' central claim, conveyed through the survey, is that the decisive recent advance is Theorem 9 (Chen–Hou [6,7]): there exists a family of smooth initial data for which the 2D Boussinesq equations and the 3D Euler equations form stable, nearly self-similar singularities in finite time. Computer assistance is needed both to construct the self-similar profiles with small error and to compute optimal majorants for the constants in the stability analysis; the complete work was not yet accepted for publication at the time of writing. The authors present this as the answer to the long-open singularity question for ideal fluids, and they report Hou's 2024 announcement [18] that this confi","pith_inferences":["The survey does not flag that reference [18] concerns a generalized axisymmetric Navier-Stokes model rather than the full 3D equations; a reader should treat the Navier-Stokes extension as a conjecture about a related model, not an established step.","The same odd-swirl, boundary-origin singularity geometry suggests a concrete test: direct numerical simulations of the full 3D Navier-Stokes equations at decreasing viscosity, using analogous initial data, could look for whether the blow-up persists or is regularized.","If Euler blow-up holds, the vanishing-viscosity limit of Navier-Stokes becomes a subtle question: the dissipation may smooth the singularity for any fixed ν>0, and the blow-up could emerge only in the limit, connecting to anomalous dissipation and turbulence theory.","The survey's opinion-poll anecdote from 2007 (experts split on Euler, majority against for Navier-Stokes) is not mathematical evidence, but it suggests the recent computer-assisted results have shifted the field's working hypotheses."],"forward_implications":["If Theorem 9 is correct, smooth solutions of the 3D Euler equations can lose regularity in finite time; the classical open question about inviscid blow-up would be resolved in the affirmative.","The Beale-Kato-Majda criterion then requires that the L∞ norm of vorticity diverges at the blow-up time; the Chen-Hou profiles provide a concrete quantitative scenario in which this divergence occurs.","If Hou's suggested transfer holds, the Millennium problem for Navier-Stokes could be settled by exhibiting smooth initial data with no global smooth solution — the singularity branch of the Clay statement.","The survey's account implies that the real obstacle for Navier-Stokes is intermediate-time dynamics, not small-data global existence, since global existence is already known for small data in critical spaces.","Computer-assisted proof with rigorous numerical bounds would be established as an essential tool for settling PDE singularity questions, not just a heuristic."],"supporting_citations":[{"why":"Supplies the paper's central theorem: stable nearly self-similar finite-time blow-up for 2D Boussinesq and 3D Euler with smooth data, including computer-assisted verification.","marker":"[6, 7]"},{"why":"Carries the survey's closing suggestion that the same configuration may yield a potential singularity for 3D Navier-Stokes.","marker":"[18]"},{"why":"Provides the Beale-Kato-Majda criterion used throughout as the standard diagnostic for singularity formation in both Euler and Navier-Stokes.","marker":"[1]"},{"why":"Introduces the one-dimensional 'baby vorticity equation' whose Hilbert-transform stretching term is the model for Riccati-type blow-up.","marker":"[8]"},{"why":"Defines the Millennium problem as stated: either global smooth solutions for all smooth initial data or a smooth initial datum forming a finite-time singularity.","marker":"[19]"},{"why":"Gives the classical local existence theorem for smooth initial data, the baseline against which the singularity question is posed.","marker":"[20]"}],"fun_headline_variants":["Computer-assisted proof settles 3D Euler blow-up","Stable singularities in Euler: a computer-assisted proof","3D Euler: smooth data form singularities, proven","Self-similar blow-up in ideal fluids: theorem","Euler equations: finite-time singularities from smooth data"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"The survey's most consequential claim rests on the correctness of the Chen–Hou computer-assisted proof, which the survey itself notes was not yet fully accepted for publication, and on the step from a generalized axisymmetric Navier-Stokes model to the full 3D Navier-Stokes equations.","fun_headline_variants_meta":{"raw":{"variants":["Computer-assisted proof settles 3D Euler blow-up","Stable singularities in Euler: a computer-assisted proof","3D Euler: smooth data form singularities, proven","Self-similar blow-up in ideal fluids: theorem","Euler equations: finite-time singularities from smooth data"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000274,"raw_usage":{"total_tokens":1421,"prompt_tokens":633,"completion_tokens":788,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":377,"completion_tokens_details":{"reasoning_tokens":709}},"tokens_in":377,"tokens_out":788,"duration_ms":10220,"temperature":1.0,"reasoning_tokens":709,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-04T21:56:16.449161+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Independently verify the computer-assisted bounds in references [6,7] — recompute the interval arithmetic for the self-similar profile and the stability constants; if any claimed inequality fails, the theorem's proof is invalid. For the suggested Navier-Stokes singularity, run a high-resolution adaptive simulation of the axisymmetric configuration of [18] on the full 3D equations: if vorticity remains bounded well beyond the projected blow-up time, the transfer to Navier-Stokes would be contradicted.","supporting_citations":[{"cited_title":"über die Anfangswertaufgabe für die hydrodynamischen Grundgleichungen.Math","cited_arxiv_id":null,"evidence_quote":"Carries the survey's closing suggestion that the same configuration may yield a potential singularity for 3D Navier-Stokes."},{"cited_title":"espaços críticos de dados iniciais","cited_arxiv_id":null,"evidence_quote":"Provides the Beale-Kato-Majda criterion used throughout as the standard diagnostic for singularity formation in both Euler and Navier-Stokes."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces the one-dimensional 'baby vorticity equation' whose Hilbert-transform stretching term is the model for Riccati-type blow-up."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines the Millennium problem as stated: either global smooth solutions for all smooth initial data or a smooth initial datum forming a finite-time singularity."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the classical local existence theorem for smooth initial data, the baseline against which the singularity question is posed."}],"review_version":1}