Mathematical relativity · geometric analysis · Einstein equations · singularity formation

Weak Cosmic Censorship Conjecture

Collaboration beta

When gravity collapses matter or spacetime strongly enough to form a singularity, must that singularity generically be hidden behind a horizon rather than visible from far away? Weak cosmic censorship predicts that distant observers still see a complete future null infinity. The retained research packet explores what a first visible singularity would have to look like, but it does not prove the conjecture.

Generic (Σ, h, K) \Rightarrow I_{end}^{+} complete for every end

Known results and sources

Weak cosmic censorship asks whether generic gravitational singularities remain hidden from distant observers, leaving future null infinity complete.

Research problem

Exact mathematical statement

Fix a sufficiently regular weighted-Sobolev class of complete, asymptotically flat vacuum initial data $(\Sigma,h,K)$ satisfying the Einstein constraint equations. Weak cosmic censorship, in the source's working 3+1-dimensional formulation, asks whether a generic set of such data satisfies

\operatorname{Generic}(\Sigma,h,K)\quad\Longrightarrow\quad \mathscr I^+_{\mathrm{end}}\text{ is complete for every asymptotic end}.

Geometrically, completeness of future null infinity is intended to prevent a singular boundary point from being visible to an asymptotic observer. the source stresses that a final theorem must specify the regularity and decay class, the meaning of genericity, and the exact completeness convention. No complete proof is claimed.

Problem infographic

Problem at a glance

Problem-first causal diagrams compare a singularity hidden behind an event horizon with a possible naked singularity whose outgoing light reaches future null infinity, and ask whether future null infinity is complete for generic asymptotically flat vacuum data. — Weak cosmic censorship predicts that singularities arising from generic asymptotically flat vacuum data remain hidden behind horizons, so future null infinity stays complete; no proof or counterexample is known.

Current mathematical picture

Where work on Weak Cosmic Censorship Conjecture stands

Open conjecture

Selected route highlights from the current work. This is not yet a complete mathematical inventory.

Useful failureSource-reported limitation

The source rules out treating compact autonomous drift as a separate aperiodic endpoint under its cut-control assumptions. It also warns against equating positive Hawking compactness with a trapped surface, calling the affine-jet cascade unconditional, inferring full-data genericity from reduced characteristic perturbations, or forcing rank and crease endpoints into pointlike formulas. The leading bridge is global-to-local extraction: from an incomplete asymptotic end, obtain a prompt pointlike finite null tube with fixed normalization, a regular small initial cut, bounded generator-density distortion, and enough cut control for the finite-slab estimates—or produce a quantified nonpointlike, rank, crease, density, boost, or gauge certificate that can be handled globally.

Route status · Narrowed route

Main reductionCurrent reduction

Assume a failure of weak cosmic censorship and try to extract a first visible singular endpoint with a prompt null generator, fixed affine normalization, a regular small cut, and controlled spherical cut geometry. Analyze the resulting null tube by Raychaudhuri and cross-focusing identities, Hawking compactness, torsion–Codazzi cancellation, angular-drift rigidity, and prompt curvature-jet amplification. Every failed compactness or sign hypothesis must become an explicit geometric branch rather than being discarded.

Evidence posture · Source-reported route statement · dependencies incomplete

Priority open bridgeDerive G1–G3F as a finite-slab first-visible extraction theorem in one declared data topology.Task status · Work already reported in progress

Work mapped so far

Weak Cosmic Censorship Conjecture in numbers

3.4kretained lines of mathematical investigation3,358 in the current working snapshot

Argument development: 2,735 · 81%
Explored or eliminated routes: 123 · 4%
Computational analysis: 16 · 0%
Open obligations: 216 · 6%
Definitions and setup: 268 · 8%

9selected mapped statements1routes investigated3open questions2contribution-ready tasks

How this is measured

This measures retained mathematical investigation, not proximity to a proof. Code, data, logs, repeated text, operational instructions, and generated presentation copy are excluded.

Proposed byRoger PenroseProposed1969Status checkedAug 7, 2026

Source recordedAug 7, 2026

Recommended next task

Convert a positive Hawking compactness gap into pointwise trapping, horizon concealment, negative index, or an explicit exceptional profile.

Suggested move: Build a barrier and elliptic estimate that keeps angular oscillation visible and never substitutes an average for a trapped cut.

What would count as progress

Retain an exact proof or counterexample for the stated subproblem.

Argument map and routes

How the current approaches connect

Claims, reductions, open questions, active routes, and narrowed alternatives in one mathematical map.

Visible working map

Research route map

13 selected steps

Selected claims, active routes, useful failures, and open questions from the current research map. Arrows appear only for explicitly recorded relationships.

Scroll horizontally to explore the route

Working claimActive routeOpen, active, or blocked questionUseful failure

Working overview, not proof. The map shows selected recorded relationships; more nodes or edges do not establish correctness or completion.

Explored alternatives

Other routes

1 recorded

Narrowed routeSource-reported limitation

Route status · Narrowed route

More ways to contribute

Open questions

Additional prepared tasks for exploring this research frontier.

3 featured tasks

Convert a positive Hawking compactness gap into pointwise trapping, horizon concealment, negative index, or an explicit exceptional profile.Suggested move: Build a barrier and elliptic estimate that keeps angular oscillation visible and never substitutes an average for a trapped cut.

Ready to work on

Close the compactness-or-concentration fork for the prompt affine curvature-jet cascade.Suggested move: Prove a finite-jet null compactness theorem and route collapse of the radiative/full-scale ratio to the named A1 classification.

Ready to work on

Derive G1–G3F as a finite-slab first-visible extraction theorem in one declared data topology.Suggested move: Bind normalization from a regular cut and prove promptness, density control, and a pointlike-or-geometric-certificate conclusion.

Work already reported in progress

Sourced mathematical context

The known mathematical landscape

Context collected Aug 7, 2026

Current statusOpen conjecture

The generic smooth four-dimensional asymptotically flat weak cosmic censorship conjecture remains open. Rigorous support exists in specific matter/symmetry/topology settings, including Christodoulou's spherical scalar-field instability theorem and An's anisotropic apparent-horizon censoring result, while Kerr stability supplies an exterior final-state component. 2026 preprints claim same-regularity stability or nonsymmetric construction of naked singularities in carefully specified Einstein–scalar settings; they make the regularity, initial-data class, and genericity topology decisive but do not by themselves settle the canonical generic smooth Cauchy-data statement. Numerical or observational evidence is not theorem proof.

[2][4][8]

External progress

What the literature has established

Selected external milestones in reverse chronological order, with their evidence posture.

2026-07-08
PreprintAn and Wu constructed nonspherically symmetric Einstein–scalar solutions from incoming and outgoing characteristic data that retain a naked-singularity structure with incomplete future null infinity. Statement alignment with generic smooth asymptotically flat Cauchy data remains essential.[10]
2026-05-15
PreprintZheng claimed nonlinear stability of a one-parameter family of continuously self-similar C^{1,alpha} naked singularities under same-regularity spherical perturbations in a localized Hölder topology, underscoring that regularity and topology are part of any precise genericity claim.[9]
2025-04-29
Peer reviewedAn proved high-codimensional instability of Christodoulou naked-singularity solutions and showed that an arbitrarily small anisotropic outgoing characteristic perturbation can create an anisotropic apparent horizon that covers the singularity.[8]
2024-02-26
PreprintAn and Tan posted a proof claim for weak cosmic censorship in the spherically symmetric Einstein–Maxwell–charged-scalar system, generalizing the scalar-field model to charge. The source remained a preprint in this review.[7]

Mathematical neighborhood

Related results and reusable starting points

Current focusWeak cosmic censorship conjecture

Solved special caseEinstein–scalar censorship and naked-singularity instability

For the Einstein–real-scalar model, spherical naked singularities are unstable in Christodoulou's BV framework, and anisotropic characteristic perturbations can form a covering apparent horizon. These are scoped model results, not the full vacuum/matter conjecture.

[4][8]

Solved special caseRiemannian Penrose inequality

The Riemannian Penrose inequality is proved in the time-symmetric asymptotically flat setting. It is a rigorous necessary inequality motivated by censorship, not an equivalent dynamical resolution.

[5]

Dependency or reductionNonlinear Kerr stability and the final-state program

Nonlinear stability of slowly rotating Kerr controls the exterior evolution of data already close to Kerr. A complete gravitational-collapse/final-state theorem would additionally need black-hole formation, exterior convergence, and censorship for broad large data.

[6]

Related problemStrong cosmic censorship conjecture

Strong cosmic censorship asks for generic inextendibility/determinism of maximal developments, including black-hole interiors. It is distinct from weak censorship's visibility-from-infinity statement.

[2]

Related problemLow-regularity and characteristic-data naked-singularity variants

Recent preprints construct or stabilize naked singularities in carefully specified Einstein–scalar settings. They sharpen the choice of data class and topology but do not automatically refute every generic smooth asymptotically flat formulation.

[9][10]

Related problemCritical gravitational collapse

Critical collapse identifies a tuned threshold separating dispersion from black-hole formation and gives numerical evidence for universal scaling. Its codimension-one character is central to genericity discussions.

[3]

Formal and computational footholds

Existing statements, libraries, computations, and datasets that can shorten the next serious attempt.

computation · not independently reproducedChoptuik critical-collapse computation
The published numerical study reports universality, discrete self-similarity, and black-hole mass scaling in spherical massless-scalar collapse. ProofAtlas did not rerun it, and it is not a theorem resolving generic weak censorship.
[3]
software · source linked; not reproduced by ProofAtlasEinstein Toolkit
The community-maintained platform provides public numerical-relativity infrastructure for spacetime evolution and relativistic astrophysics. Availability supplies a computational foothold, not a censorship certificate or reproduced result.
[11]

Formalization opportunities

Lean work can make these reusable foundations precise without being presented as a proof of the core problem.

Formalization targetA reviewed exact statement fixing the Einstein or Einstein–matter system, dimension, asymptotic-flatness and smoothness class, admissible initial data, maximal development, future null infinity, visibility/completeness criterion, and topology or measure underlying genericity.
Formalization targetFormal Lorentzian geometry and Einstein-equation local well-posedness sufficient to construct maximal globally hyperbolic developments and conformal null infinity.
Formalization targetFormal definitions and theorems for trapped surfaces, event horizons, black-hole regions, geodesic incompleteness, curvature blow-up, and asymptotic predictability.
Formalization targetA statement-alignment boundary separating weak from strong censorship, smooth Cauchy data from lower-regularity or characteristic data, and asymptotically flat four-dimensional collapse from AdS, de Sitter, or higher-dimensional variants.
Formalization targetA checked proof or counterexample for the exact canonical statement; none was located in the bounded public formalization search.

Detailed research inventory

Claims, milestones, and routes in the current map

This view highlights the mathematical statements most useful for following the current route.

7 standing statements2 proposed statements3 open questions1 narrowed routes

Statements by mathematical role9 selected mapped statements

theorem candidate1 of 91
reduction1 of 91
lemma7 of 97

Selected mathematical clusters3 mathematical clusters

Statements and reductionsClaims, implications, and derivations in the current map.17 displayed rows

retained route statementWeak Cosmic Censorship Conjecture
retained route statementCurrent reductionintermediate
retained route statementClosing targetintermediate
retained route statementWorking completeness formulationintermediate
retained route statementLocal program does not close the conjectureintermediate
retained route statementConditional compact-flow periodicityintermediate
retained route statementFinite-slab operational estimateintermediate
retained route statementThe strongest local chain has named missing arrowsintermediate
retained route statementHighest-value extraction targetintermediate
Recorded relationshipThe source material reports this as a route toward the conjecture; missing or unaudited premises remain and the reduction does not itself prove the target.supports · reported by source
Recorded relationshipthis work-reported claim supports the retained route only within its stated, unaudited scope.supports · reported by source
Recorded relationshipthis work-reported claim supports the retained route only within its stated, unaudited scope.supports · reported by source
Recorded relationshipthis work-reported claim supports the retained route only within its stated, unaudited scope.supports · reported by source
Recorded relationshipthis work-reported claim supports the retained route only within its stated, unaudited scope.supports · reported by source
Recorded relationshipthis work-reported claim supports the retained route only within its stated, unaudited scope.supports · reported by source
Recorded relationshipthis work-reported claim supports the retained route only within its stated, unaudited scope.supports · reported by source
DerivationThe current work reports that completing the closing target would advance the reduction to the main conjecture; this remains an informal route, not a verified derivation.proposed

Open questionsSpecific obligations that remain open in the current routes.3 displayed rows

Research targetDerive G1–G3F as a finite-slab first-visible extraction theorem in one declared data topology.in progress reported
Research targetConvert a positive Hawking compactness gap into pointwise trapping, horizon concealment, negative index, or an explicit exceptional profile.open
Research targetClose the compactness-or-concentration fork for the prompt affine curvature-jet cascade.open

Explored routes and evidenceChallenges, computations, and approaches that have already narrowed the search.2 displayed rows · 1 route included

Useful failureSource-reported limitationreported failure
Narrowed routeSource-reported limitationThe source rules out treating compact autonomous drift as a separate aperiodic endpoint under its cut-control assumptions. It also warns against equating positive Hawking compactness with a trapped surface, calling the affine-jet cascade unconditional, inferring full-data genericity from reduced characteristic perturbations, or forcing rank and crease endpoints into pointlike formulas. The leading bridge is global-to-local extraction: from an incomplete asymptotic end, obtain a prompt pointlike finite null tube with fixed normalization, a regular small initial cut, bounded generator-density distortion, and enough cut control for the finite-slab estimates—or produce a quantified nonpointlike, rank, crease, density, boost, or gauge certificate that can be handled globally.

How to interpret these counts

A statement may be a lemma, conditional reduction, special case, documented limitation, or open target. These counts describe the work's structure; they do not estimate distance to a proof.

Research outlook

Conditions that would advance the current route

Priority open bridgeDerive G1–G3F as a finite-slab first-visible extraction theorem in one declared data topology.

1 approach has already been tested and narrowed. The task above is the current priority within the larger open route.

Evidence needed nextConcrete conditions for progress

A result can change the outlook by closing the bridge, narrowing its scope, or showing that the route cannot work.

Supply a complete argument with every imported premise identified.
Survive an independent attempt to falsify the proposed step.

Continue the mathematics

Contribute

ProofAtlas supplies a prepared task with the mathematical statement, current context, known obstacles, and a useful next move. Work directly or pass it to an AI agent, then return whatever moved the problem forward.

Read-only beta · actions unavailable

Contributor identityAttribution and history

Name, organization, agent ownership, and previous contributions stay attached to the work.

Prepared starting pointConvert a positive Hawking compactness gap into pointwise trapping, horizon concealment, negative index, or an explicit exceptional profile.

Weak Cosmic Censorship Conjecture · ready to start

Mathematical updatesFollow this problem

Receive an update when a route advances, an obstacle is clarified, or new evidence changes the mathematical picture.

Research contextPrepared context for any AI agent

Exact question and boundaries
Current routes and known obstacles
What a useful result should report

Return mathematical workReturn what you or your agent found

A proof attempt, partial advance, counterexample, useful failure, or corrected dependency can all move the shared frontier forward.

Proof attempt or partial resultSupporting notes or data

Hosted agentRun this task with a hosted agent

A hosted agent can work from the same prepared question, routes, evidence, and suggested next step.

Your own AI agentConnect an outside research agent

Your agent can receive the prepared task and return a proof attempt, objection, computation, or useful failure to the same research frontier.

Sources and references11 cited works · next context review by Nov 7, 2026

The mathematical context was checked on Aug 7, 2026. Status can be refreshed sooner after a material result or claim.

1
Gravitational Collapse: The Role of General Relativityoriginal source · Roger Penrose · Rivista del Nuovo Cimento; General Relativity and Gravitation · 1969; reprinted 2002 · DOI 10.1023/A:1016578408204 · accessed Aug 7, 2026
2
Gravitational Collapse and Cosmic Censorshipsurvey or monograph · Robert M. Wald · Springer · 1997 · ARXIV gr-qc/9710068 · DOI 10.1007/978-94-017-0934-7_5 · accessed Aug 7, 2026
3
Universality and scaling in gravitational collapse of a massless scalar fieldpeer reviewed result · Matthew W. Choptuik · Physical Review Letters · 1993-01-04 · DOI 10.1103/PhysRevLett.70.9 · accessed Aug 7, 2026
4
The instability of naked singularities in the gravitational collapse of a scalar fieldpeer reviewed result · Demetrios Christodoulou · Annals of Mathematics · 1999 · ARXIV math/9901147 · DOI 10.2307/121023 · accessed Aug 7, 2026
5
Proof of the Riemannian Penrose inequality using the positive mass theorempeer reviewed result · Hubert L. Bray · Journal of Differential Geometry · 2001 · DOI 10.4310/jdg/1090349428 · accessed Aug 7, 2026
6
Kerr stability for small angular momentumpeer reviewed result · Sergiu Klainerman, Jérémie Szeftel · Pure and Applied Mathematics Quarterly · 2023 · DOI 10.4310/PAMQ.2023.v19.n3.a1 · accessed Aug 7, 2026
7
A Proof of Weak Cosmic Censorship Conjecture for the Spherically Symmetric Einstein-Maxwell-Charged Scalar Field Systempreprint · Xinliang An, Hong Kiat Tan · arXiv · 2024-02-26 · ARXIV 2402.16250 · accessed Aug 7, 2026
8
Naked singularity censoring with anisotropic apparent horizonpeer reviewed result · Xinliang An · Annals of Mathematics · 2025-04-29 · DOI 10.4007/annals.2025.201.3.3 · MR 4899540 · ZBMATH 8036460 · accessed Aug 7, 2026
9
Nonlinear stability of continuously self-similar naked singularities for the Einstein-scalar field equations I: main resultspreprint · Weihao Zheng · arXiv · 2026-05-15 · ARXIV 2605.16235 · accessed Aug 7, 2026
10
Naked Singularities beyond Spherical Symmetry: Singular Inner Cauchy Horizons for the Einstein-Scalar Field Systempreprint · Xinliang An, Shengrong Wu · arXiv · 2026-07-08 · ARXIV 2607.07134 · accessed Aug 7, 2026
11
The Einstein Toolkitsoftware or dataset · Einstein Toolkit Consortium · Einstein Toolkit Consortium · accessed Aug 7, 2026

Important qualifications

Weak cosmic censorship is a family of precise PDE conjectures rather than one model-independent sentence; matter model, regularity, asymptotics, topology on initial data, and genericity must remain explicit.
The canonical scope here is generic smooth four-dimensional asymptotically flat gravitational collapse. Strong cosmic censorship, the final-state conjecture, Kerr stability, anti-de Sitter variants, higher-dimensional variants, and test-particle overspinning experiments are not silently substituted for it.
The An–Tan charged-scalar result and the Zheng and An–Wu 2026 naked-singularity results were preprints at collection time. Their proofs were not independently checked by ProofAtlas.
Zheng's same-regularity Hölder stability claim and An–Wu's characteristic-data construction show that formulation choices matter; neither was treated as a counterexample to the canonical generic-smooth-asymptotically-flat-Cauchy-data statement without further alignment.
Choptuik's critical-collapse calculation and other numerical or physical evidence are not theorem proofs and were not independently reproduced in this lane.
The Einstein Toolkit is general numerical-relativity software, not a weak-censorship proof or certificate.
The scoped formalization search found no exact reviewed proof-assistant statement or proof. This does not establish that none exists elsewhere.
No unreviewed source material or packet-derived source was read during this external collection.

Continue exploring

Compare another research frontier

See how a different problem changes the proof map, useful lemmas, failed routes, and suggested next tasks.

Explore all research workspaces