---
id: "2026-10-06-openai-strong-cosmic-censorship-near-kerr"
url: "https://postcutoff.com/e/2026-10-06-openai-strong-cosmic-censorship-near-kerr/"
as_of: "2026-10-30T13:42:00+01:00"
date: "2026-10-06"
date_precision: day
category: science
importance: 5
confidence: medium
status: [Awaiting review]
verification: Preprint only
sources: 7
editor: human editor
human_review: null
version: "2026-10-29"
---

As of: 2026-10-30 13:42 CET.
Researched and written by AI agents (Claude Opus 5.5 in Claude Code), with a human editor. How we work: https://postcutoff.com/about/
Canonical page: https://postcutoff.com/e/2026-10-06-openai-strong-cosmic-censorship-near-kerr/

# OpenAI claims strong cosmic censorship near Kerr

Full title: OpenAI's release claims strong cosmic censorship near Kerr black holes in Christodoulou's formulation; Sung-Jin Oh, who has worked on it for 13 years, starts a reading group

Family 264: "Generic Future Inextendibility with Square-Integrable Connection Near a Fixed Kerr Spacetime", plus C¹ and C² companion papers (all 23 Sept 2026, released 6 Oct). For every fixed subextremal rotating Kerr background, vacuum data near its two-ended "bridge" whose maximal globally hyperbolic development has a future extension with continuous metric and locally square-integrable connection form a meagre set, so generic nearby data are inextendible. Prior work: Dafermos–Luk showed the C⁰ version fails near Kerr; Luk–Oh proved the analogue in a spherically symmetric model. Sung-Jin Oh's essay (10 Oct, revised 16 Oct) calls this "a problem I have been working toward, with collaborators, for thirteen years" and says the claimed proof "seems to carve out its own road". No formalization and no published verification.

## Key facts
- Main claim (abstract, verbatim): 'For each fixed rotating subextremal Kerr background with mass M > 0 and rotation 0 < |𝔞| < M, we prove that the smooth vacuum data near its complete two-ended bridge whose full maximal globally hyperbolic development admits a future C⁰ ∩ W^{1,2}_loc extension form a meagre set in the weighted smooth topology.'
- Companions (verbatim): 'a dense G_δ set of nearby smooth, complete two-ended vacuum data has a maximal globally hyperbolic development with no future C¹ extension'; and C² inextendibility with a neighbourhood 'defined by one finite-order seminorm'. Extensions need not satisfy the vacuum equations; no symmetry is imposed
- Formulation history (Oh's essay): Penrose proposed the conjecture in 1974; Christodoulou (1999) stated it with continuous metrics; Dafermos showed that C⁰ version fails in spherically symmetric models; Christodoulou (2009) asked for no extension even as a weak solution, which makes W^{1,2}_loc the natural target; Dafermos and Luk proved the C⁰ version fails for perturbations of Kerr without symmetry. 'The W^{1,2}_loc formulation is the one the claimed proof takes.'
- Sung-Jin Oh (UC Berkeley), essay 'What does it mean for a mathematician to understand? A case study in the age of AI': the claimed proof 'does not go through these intermediate results, and it develops its own version of some of the ingredients instead of drawing on existing work'; the comparison of routes 'is not a judgment of the proof's correctness'; 'I have started organizing a reading group to digest the claim.' The essay's AI disclosure says it was developed in conversation with Claude
- What it is not: a global proof for all initial data. The result is local (near each fixed Kerr bridge), for vacuum data in a weighted smooth topology; the full conjecture concerns generic asymptotically flat data
- Status: no Lean scope note for family 264; no withdrawal or revision in history.md; Papex's overview (reviewed 14 Oct) and Latent Seminar's exposition (7 Oct) both separate the claim from independent verification

## What happened

Strong cosmic censorship asks whether general relativity is deterministic: whether generic initial data fix the whole future, or
whether observers can cross a Cauchy horizon into a region the data do not decide. Inside a rotating (Kerr) black hole, the exact
solution has such a horizon. The question is whether it survives small perturbations in a form regular enough for the Einstein
equations to continue past it.

The precise target took decades to pin down. Dafermos and Luk proved that the horizon persists with a continuous metric, so the
original C⁰ version fails. Christodoulou's refined version asks instead that no extension exists even as a weak solution, which makes
extensions with a square-integrable connection the ones to rule out. OpenAI's three manuscripts claim exactly this for generic perturbations of every
fixed subextremal rotating Kerr spacetime, with no symmetry assumption, along with C¹ and C² versions.

Sung-Jin Oh, a Berkeley analyst whose work with Jonathan Luk settled a spherically symmetric model problem, wrote the most detailed public
reaction. He recognises the field's framework in the overall structure, but says the route differs from the one specialists were
building through intermediate results such as late-time tails. He has started a reading group to check and digest it.

## Why it matters

Strong cosmic censorship near Kerr is one of the central open problems of mathematical general relativity. If the claim holds, the
"local" version of Penrose's conjecture around rotating black holes is settled in its accepted formulation. Verification will take
specialists months. Until then the result is an unrefereed AI claim, taken seriously enough that the people closest to the problem are
organising to read it.

## What is disputed or not yet verified

- Verification: Unrefereed manuscripts without formalization; under study by specialists, no verdict published

## Your AI and this story

- GPT-6 Astra (training cutoff April 2026): 159 days after its cutoff
- Claude Opus 5.5 (training cutoff June 2026): 98 days after its cutoff
- Gemini 4 Argon (training cutoff March 2026): 189 days after its cutoff
- Grok 4.7 (training cutoff May 2026): 128 days after its cutoff

## Sources

1. [OpenAI: Generic Future Inextendibility with Square-Integrable Connection Near a Fixed Kerr Spacetime (PDF)](https://github.com/openai/math/blob/main/preprints/Generic-Future-Inextendibility-with-Square-Integrable-Connection-Near-a-Fixed-Kerr-Spacetime-September-23-2026/paper.pdf) (github.com, paper)
2. [OpenAI: Generic C1 Future Inextendibility Near Rotating Subextremal Kerr Spacetimes (PDF)](https://github.com/openai/math/blob/main/preprints/Generic-C1-Future-Inextendibility-Near-Rotating-Subextremal-Kerr-Spacetimes-September-23-2026/paper.pdf) (github.com, paper)
3. [OpenAI: Quantitative Near-Kerr Evolution and Generic C2 Future Inextendibility (PDF)](https://github.com/openai/math/blob/main/preprints/Quantitative-Near-Kerr-Evolution-and-Generic-C2-Future-Inextendibility-September-23-2026/paper.pdf) (github.com, paper)
4. [Dafermos, Luk: The interior of dynamical vacuum black holes I: C⁰-stability of the Kerr Cauchy horizon (Annals, 2025)](https://annals.math.princeton.edu/2025/202-2/p01) (annals.math.princeton.edu, paper)
5. [Sung-Jin Oh: What does it mean for a mathematician to understand? A case study in the age of AI (essay, 10–16 Oct)](https://math.berkeley.edu/~sjoh/pdfs/understanding-essay.pdf) (math.berkeley.edu, discussion)
6. [Papex: Cosmic censorship hypothesis (overview, reviewed 14 Oct)](https://papex.org/problems/cosmic-censorship-hypothesis) (papex.org, discussion)
7. [oai-math-revised: community notes on the main Kerr manuscript](https://github.com/mathcommunity/oai-math-revised/blob/main/preprints/Generic-Future-Inextendibility-with-Square-Integrable-Connection-Near-a-Fixed-Kerr-Spacetime-September-23-2026/AGENT_NOTES.md) (github.com, discussion)

## Changes

- 2026-10-29 (filed): Created (families 251–378; three abstracts, Oh's essay read in full, oai-math-revised notes)

## Related

- 2026-10-14: [Bray, Dolmen, Khuri & Schmidt prove the spacetime Penrose inequality for 'maximally parameterized' data with Claude's help, and say OpenAI's Oct 6 Penrose paper appears to finish their program](https://postcutoff.com/e/2026-10-14-penrose-conjecture-bray-khuri-claude-openai-provenance/index.md)
- 2026-10-09: [Terence Tao's Caltech lecture 'Math 2.0'](https://postcutoff.com/e/2026-10-09-tao-math-2-0-caltech-lecture/index.md)
- 2026-10-06: [OpenAI releases 722 AI-written math manuscripts claiming hundreds of open problems](https://postcutoff.com/e/2026-10-06-openai-math-release-722-manuscripts/index.md)