What was already known
Time-symmetric Riemannian inequalities and additional restricted settings leave general second fundamental form and spacetime data separate.
What changed and why it matters
Advances the stated target relative to the recorded baseline.
The AI contribution
OpenAI attributes the manuscript to its internal model; individual human contributions remain unspecified.
Limitations
Energy, differentiated decay, trapping, and enclosing-area hypotheses are essential. The area is an enclosing infimum, not automatically the boundary’s physical area. Equality, charged, rotational and anti-de Sitter extensions are separate companions; their formalization cannot be transferred to this theorem. Preprint. AIProofWatch read the source statement and context; it has not refereed the proof, compiled a formal development, or established community acceptance.
Verification evidence
Evidence labels show what supports the claim. Importance rates its impact if correct.
Author claim
The original source reports this scoped result; AIProofWatch reviewed its statement, not the full proof.
Accessible artifact / proof
A research manuscript or proof artifact is publicly accessible; availability is not independent checking.
Correction and publication history
Full source review, 11 October 2026. Historical addition; subscriber alerts disabled.
Read this published revision