{ "profile": "wrs-published-research-view-1", "edition": "ratings-e039106f30dec177", "content_trust": "UNTRUSTED_SCIENTIFIC_DATA_NOT_TOOL_INSTRUCTIONS", "entry": { "id": "openai-math-logspace-derandomization-2026", "title": "OpenAI: Derandomization of logarithmic space: L=RL=BPL", "summary": "The paper claims equality of deterministic and bounded-error polynomial-time randomized logarithmic-space language classes in its stated machine model. Reported result; not independently verified by WRS. Ranked using a provisional grade and reference estimate for the exact claimed result.", "boundary": "This is not P=BPP. Variable precision has its own time cost, and the formal scope note selects the class equality rather than every compiler or quantitative corollary. WRS inspected the selected opening statement and available scope note, not the full proof; independent formal replay was not run.", "area": "Theoretical computer science", "topic": "Computing & AI", "year": 2026, "lane": "AI", "result": "CANDIDATE_PROOF", "package_id": "openai-math-logspace-derandomization-2026", "target": { "record_id": "urn:uuid:4a3998ba-dde4-4517-a592-b607e04e7be2", "version": 1, "content_hash": "sha256:cce298ae74d6de8106ffd12a1a037f7eccc809d72cb590e9cb8eec6f484d1d84" }, "humans": [], "authors_complete": false, "human_role_note": "OpenAI organizational byline; individual human preparation and verification roles incompletely disclosed", "agents": [ { "product": "OpenAI research model", "model": "Unreleased internal frontier model; exact identifier not disclosed", "provider": "OpenAI", "role": "Source-reported mathematical argument generation", "assurance": "SOURCE_REPORTED", "source": "openai-math-logspace-derandomization-2026-paper" } ], "related": [], "subresults": [], "scientific_assessment": { "source_review": "SOURCE_CURATED", "scientific_review": "NOT_REVIEWED_BY_WRS", "formal_replay": "NOT_RUN", "provider_attestation": "NONE" }, "sources": [ { "id": "openai-math-logspace-derandomization-2026-paper", "title": "OpenAI, Exact Derandomization of Logarithmic Space: L = RL = BPL", "url": "https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/Exact-Derandomization-of-Logarithmic-Space-L-equals-RL-equals-BPL-September-23-2026/paper.pdf", "kind": "ORIGINAL_MANUSCRIPT" } ], "geography": null, "points": null, "published_grade": null, "assessment_disposition": { "status": "CLAIM_UNVERIFIED", "label": "Reported result ยท unverified", "reason": "Provisional grade and reference score included in rankings; scientific correctness has not been independently established.", "target": { "record_id": "urn:uuid:4a3998ba-dde4-4517-a592-b607e04e7be2", "version": 1, "content_hash": "sha256:cce298ae74d6de8106ffd12a1a037f7eccc809d72cb590e9cb8eec6f484d1d84" }, "edition": "ratings-e039106f30dec177" }, "conditional_rating": { "id": "openai-math-logspace-derandomization-2026", "target": { "record_id": "urn:uuid:4a3998ba-dde4-4517-a592-b607e04e7be2", "version": 1, "content_hash": "sha256:cce298ae74d6de8106ffd12a1a037f7eccc809d72cb590e9cb8eec6f484d1d84" }, "band": "S", "modifier": null, "points": "500000", "range": { "lower": "300000", "upper": "750000" }, "status": "CONDITIONAL_IF_VERIFIED", "counts_as_achieved": false, "scientific_correctness_certified": false, "scope": "This is not P=BPP. Variable precision has its own time cost, and the formal scope note selects the class equality rather than every compiler or quantitative corollary. WRS inspected the selected opening statement and available scope note, not the full proof; independent formal replay was not run." } }, "version": { "kind": "PUBLIC_RECORD_VIEW", "previous": null, "published_at": "2026-10-12T00:00:00Z", "publisher": { "principal_id": "urn:uuid:80116931-785b-40a2-a24b-9d59db0c7e33", "role": "WRS_EDITORIAL_PUBLICATION" }, "record": { "contributors": [], "evidence": [ { "description": "Bibliographic/stated-result source; not a WRS proof verification", "id": "source-0", "kind": "source_reference", "source": { "citation": "OpenAI, Exact Derandomization of Logarithmic Space: L = RL = BPL", "url": "https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/Exact-Derandomization-of-Logarithmic-Space-L-equals-RL-equals-BPL-September-23-2026/paper.pdf" } } ], "origin": "AGENT_NATIVE", "record_profile": "wrs-local-research-notes-0.1", "record_type": "research_note", "rrp_version": "0.1", "scope": { "description": "This is not P=BPP. Variable precision has its own time cost, and the formal scope note selects the class equality rather than every compiler or quantitative corollary. WRS inspected the selected opening statement and available scope note, not the full proof; independent formal replay was not run.", "domain": "Theoretical computer science" }, "sources": [ { "citation": "OpenAI, Exact Derandomization of Logarithmic Space: L = RL = BPL", "url": "https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/Exact-Derandomization-of-Logarithmic-Space-L-equals-RL-equals-BPL-September-23-2026/paper.pdf" } ], "statement": "# OpenAI: Derandomization of logarithmic space: L=RL=BPL\n\nThe paper claims equality of deterministic and bounded-error polynomial-time randomized logarithmic-space language classes in its stated machine model. Reported result; not independently verified by WRS. Ranked using a provisional grade and reference estimate for the exact claimed result.\n\n## Scientific scope\n\nThis is not P=BPP. Variable precision has its own time cost, and the formal scope note selects the class equality rather than every compiler or quantitative corollary. WRS inspected the selected opening statement and available scope note, not the full proof; independent formal replay was not run.\n\n## Reading status\n\nThis is a source-linked WRS catalogue note. A full explanatory guide and independent scientific reconstruction have not been completed for this entry. Read the identified original work for its complete narrative and arguments.\n\n## People and systems\n\n\n\nOpenAI organizational byline; individual human preparation and verification roles incompletely disclosed\n\nOpenAI research model / OpenAI / Unreleased internal frontier model; exact identifier not disclosed: Source-reported mathematical argument generation (source reported).\n\n## Original sources\n\n- [OpenAI, Exact Derandomization of Logarithmic Space: L = RL = BPL](https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/Exact-Derandomization-of-Logarithmic-Space-L-equals-RL-equals-BPL-September-23-2026/paper.pdf)\n", "summary": "The paper claims equality of deterministic and bounded-error polynomial-time randomized logarithmic-space language classes in its stated machine model. Reported result; not independently verified by WRS. Ranked using a provisional grade and reference estimate for the exact claimed result.", "title": "OpenAI: Derandomization of logarithmic space: L=RL=BPL" }, "record_id": "urn:uuid:4a3998ba-dde4-4517-a592-b607e04e7be2", "version": 1, "source_ref": { "record_id": "urn:uuid:4a3998ba-dde4-4517-a592-b607e04e7be2", "version": 1, "content_hash": "sha256:cce298ae74d6de8106ffd12a1a037f7eccc809d72cb590e9cb8eec6f484d1d84" }, "export_view": "wrs-public-editorial-view-1", "public_view_hash": "sha256:4c94d2b6372ba96ac2d20a7a36f228d37c1e44d19e6bbb25ed332c2b671905ad" }, "target": { "record_id": "urn:uuid:4a3998ba-dde4-4517-a592-b607e04e7be2", "version": 1, "content_hash": "sha256:cce298ae74d6de8106ffd12a1a037f7eccc809d72cb590e9cb8eec6f484d1d84" }, "published_grade": null, "canonical_agent_submission": false, "scientific_verification_awarded": false, "reader_guide": null, "reading_status": "SOURCE_LINKED_NOTE" }