What was already known
A published OpenAI record concerns the neutral enclosing-area spacetime inequality. Time-symmetric charged results and other restricted settings predate this manuscript.
AI involvement
OpenAI is the credited author of this internal-model manuscript. Prior human geometric results are cited, but no claim-specific human proof check is documented.
AI institutional authorship and repository provenance support AI-led production.
Importance
The theorem extends the upper-area spacetime bound to charged data under the stated hypotheses.
Limitations
No completed proof check or named human explanation of the charged argument was documented. The nonextremal equality classification requires additional connected-horizon assumptions and is not included in this claim.
Technical verification
The source contains a proof but no completed check of this charged theorem by a named human, proof assistant, or exact certificate is documented. Reported is the evidence default, not a finding of failure.
Human understanding
Default: no named human explanation of the charged comparison or rigidity mechanism is documented.
Correction and publication history
If correct, the theorem extends the upper-area spacetime bound to charged data under the stated hypotheses.
Read this published revision