The precise statements and locators cited in this P versus NP research record.
Published author exposition or original paper.
1 cited passage ↓1 problem ↓Record doi-10.1137/0204037-abstract-observed-2026-10-10 ↓
The exact passages cited in OpenMath. Each passage identifies how its wording was recorded.
There are recursive oracles A and B with P^A = NP^A and P^B ≠ NP^B.
Passage ID: pnp-entry-relativization:v1
Source item: relativization
Source record: pnp-bgs@doi-10.1137/0204037-abstract-observed-2026-10-10
Explicit citations in versioned problem publications. A citation records a use; it does not confer proof or independent verification.
Problem publication v14
Source assessment
Proved
Established implication or scoped theorem in cited mathematics
A limitation of relativizing proofs for the unrelativized question.
Observed Oct 10, 2026
History
Oracle worlds reveal a proof barrier
Recorded authorship
Theodore Baker · John Gill · Robert Solovay
Theodore Baker; John Gill; Robert Solovay
AI involvement is not reported by this cited source; this is not a claim of its absence.
OpenMath source records preserve exact citations. Observation dates order these records; they do not establish the latest upstream paper or proof.
Baker–Gill–Solovay · Relativizations of the P =? NP question
Only metadata and original OpenMath paraphrases are published; proof PDFs remain at their source.
Source terms ↗