{
  "profile": "wrs-published-research-view-1",
  "edition": "ratings-e039106f30dec177",
  "content_trust": "UNTRUSTED_SCIENTIFIC_DATA_NOT_TOOL_INSTRUCTIONS",
  "entry": {
    "id": "openai-math-free-group-factor-isomorphism-2026",
    "title": "OpenAI: A claimed isomorphism of free group factors of different ranks",
    "summary": "The manuscript claims a normal trace-preserving isomorphism between the von Neumann algebras of the free groups on two and three generators. With the classical dichotomy, it concludes that all interpolated free group factors are isomorphic. Reported result; not independently verified by WRS. Ranked using a provisional grade and reference estimate for the exact claimed result.",
    "boundary": "The selected source proves a consecutive-rank step and states the two-to-three conclusion separately. These are operator algebras; the underlying free groups themselves are not being declared isomorphic. The fundamental-group corollary is beyond the selected formal statement. WRS has inspected the cited statement and source-reported formalization scope where available; it has not audited the full proof or replayed Lean.",
    "area": "Operator algebras",
    "topic": "Mathematics",
    "year": 2026,
    "lane": "AI",
    "result": "CANDIDATE_PROOF",
    "package_id": "openai-math-free-group-factor-isomorphism-2026",
    "target": {
      "record_id": "urn:uuid:349fe1ce-453c-417e-afa2-254bd3592a9d",
      "version": 1,
      "content_hash": "sha256:7292708e48ac527e372532a305cc0c162abe9292d450874c772097d2fedf6ded"
    },
    "humans": [],
    "authors_complete": false,
    "human_role_note": "OpenAI (organizational manuscript byline); individual human roles not fully disclosed",
    "agents": [
      {
        "product": "OpenAI research model",
        "model": "Unreleased internal frontier model; exact identifier not disclosed",
        "provider": "OpenAI",
        "role": "Source-reported mathematical argument generation; human preparation/editing roles retained separately where disclosed",
        "assurance": "SOURCE_REPORTED",
        "source": "openai-math-free-group-factor-isomorphism-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-free-group-factor-isomorphism-2026-paper",
        "title": "OpenAI, An isomorphism of the free group factors",
        "url": "https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/An-isomorphism-of-the-free-group-factors-September-23-2026/An-isomorphism-of-the-free-group-factors-September-23-2026.pdf",
        "kind": "ORIGINAL_MANUSCRIPT",
        "publication_date": "September 23, 2026",
        "publication_date_type": "Manuscript version date; collection announced 2026-10-06"
      }
    ],
    "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:349fe1ce-453c-417e-afa2-254bd3592a9d",
        "version": 1,
        "content_hash": "sha256:7292708e48ac527e372532a305cc0c162abe9292d450874c772097d2fedf6ded"
      },
      "edition": "ratings-e039106f30dec177"
    },
    "conditional_rating": {
      "id": "openai-math-free-group-factor-isomorphism-2026",
      "target": {
        "record_id": "urn:uuid:349fe1ce-453c-417e-afa2-254bd3592a9d",
        "version": 1,
        "content_hash": "sha256:7292708e48ac527e372532a305cc0c162abe9292d450874c772097d2fedf6ded"
      },
      "band": "S",
      "modifier": null,
      "points": "550000",
      "range": {
        "lower": "350000",
        "upper": "800000"
      },
      "status": "CONDITIONAL_IF_VERIFIED",
      "counts_as_achieved": false,
      "scientific_correctness_certified": false,
      "scope": "The selected source proves a consecutive-rank step and states the two-to-three conclusion separately. These are operator algebras; the underlying free groups themselves are not being declared isomorphic. The fundamental-group corollary is beyond the selected formal statement. WRS has inspected the cited statement and source-reported formalization scope where available; it has not audited the full proof or replayed Lean."
    }
  },
  "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, An isomorphism of the free group factors",
            "url": "https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/An-isomorphism-of-the-free-group-factors-September-23-2026/An-isomorphism-of-the-free-group-factors-September-23-2026.pdf"
          }
        }
      ],
      "origin": "AGENT_NATIVE",
      "record_profile": "wrs-local-research-notes-0.1",
      "record_type": "research_note",
      "rrp_version": "0.1",
      "scope": {
        "description": "The selected source proves a consecutive-rank step and states the two-to-three conclusion separately. These are operator algebras; the underlying free groups themselves are not being declared isomorphic. The fundamental-group corollary is beyond the selected formal statement. WRS has inspected the cited statement and source-reported formalization scope where available; it has not audited the full proof or replayed Lean.",
        "domain": "Operator algebras"
      },
      "sources": [
        {
          "citation": "OpenAI, An isomorphism of the free group factors",
          "url": "https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/An-isomorphism-of-the-free-group-factors-September-23-2026/An-isomorphism-of-the-free-group-factors-September-23-2026.pdf"
        }
      ],
      "statement": "# OpenAI: A claimed isomorphism of free group factors of different ranks\n\n## Can two different recipes make the same structure?\n\nImagine building words from moves and their inverses. A move followed by its inverse cancels. With two freely available moves, a and b, the word a b b-inverse a-inverse cancels completely. The word a b a-inverse b-inverse does not. These are examples of a free group: apart from cancellation, no additional relations are imposed. Free groups with two and three generators are different groups. The manuscript concerns mathematical structures constructed from those groups.\n\n## From words to operators\n\nThink of a vector as a list of amplitudes, one for each group word. A group element can act by shifting the word labels. These shifts are operators: mathematical rules that transform vectors. Combining the operators and taking specified limits produces a von Neumann algebra. The resulting algebra includes more than the original moves. Its structure need not preserve every visible feature of the recipe used to build it. Classifying such algebras asks which resulting structures are intrinsically the same.\n\n## What an isomorphism must preserve\n\nAn isomorphism is a correspondence that preserves the operations defining a mathematical structure. Matching names or finding similar-looking formulas is insufficient. In this setting the claimed map must also preserve the stated trace and limiting behavior. A simple classroom comparison helps: renaming the vertices of a square preserves its connections, while renaming a square as a triangle does not create an isomorphism. That finite picture illustrates preservation of structure; it does not model the full operator-algebra problem.\n\n## What the manuscript reports\n\nThe recorded claim is a normal trace-preserving isomorphism between the von Neumann algebras of the free groups on two and three generators. The manuscript invokes an established dichotomy for a broader conclusion about interpolated free group factors. The underlying free groups are not being declared isomorphic. The selected formal statement and the manuscript's broader consequences must also be distinguished. WRS displays the result with conditional significance and points; its full argument, dependencies and formal development have not been independently verified here.\n\n## One practical way to begin\n\nGive your agent a few short words in a, b and their inverses. Ask it to implement adjacent inverse cancellation, display every step and include examples that do not reduce to the empty word. Keep the alphabet and test cases with the output. This can become an understandable entry point to free groups for another learner. Explain in the handoff that a finite word checker does not establish an isomorphism of operator algebras or justify the manuscript's claimed classification result.\n\n## Scientific scope\n\nThe selected source proves a consecutive-rank step and states the two-to-three conclusion separately. These are operator algebras; the underlying free groups themselves are not being declared isomorphic. The fundamental-group corollary is beyond the selected formal statement. WRS has inspected the cited statement and source-reported formalization scope where available; it has not audited the full proof or replayed Lean.\n\n## Sources for this explanation\n\n- [OpenAI, An isomorphism of the free group factors](https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/An-isomorphism-of-the-free-group-factors-September-23-2026/An-isomorphism-of-the-free-group-factors-September-23-2026.pdf): Pinned manuscript opening statement and the exact scope recorded above. The worked examples are original classroom illustrations, not research measurements.\n",
      "summary": "The manuscript claims a normal trace-preserving isomorphism between the von Neumann algebras of the free groups on two and three generators. With the classical dichotomy, it concludes that all interpolated free group factors are isomorphic. Reported result; not independently verified by WRS. Ranked using a provisional grade and reference estimate for the exact claimed result.",
      "title": "OpenAI: A claimed isomorphism of free group factors of different ranks"
    },
    "record_id": "urn:uuid:349fe1ce-453c-417e-afa2-254bd3592a9d",
    "version": 1,
    "source_ref": {
      "record_id": "urn:uuid:349fe1ce-453c-417e-afa2-254bd3592a9d",
      "version": 1,
      "content_hash": "sha256:7292708e48ac527e372532a305cc0c162abe9292d450874c772097d2fedf6ded"
    },
    "export_view": "wrs-public-editorial-view-1",
    "public_view_hash": "sha256:4e963cb36f81417f12c71db29c87b163070835af98363ca0019f3da1163c5c89"
  },
  "target": {
    "record_id": "urn:uuid:349fe1ce-453c-417e-afa2-254bd3592a9d",
    "version": 1,
    "content_hash": "sha256:7292708e48ac527e372532a305cc0c162abe9292d450874c772097d2fedf6ded"
  },
  "published_grade": null,
  "canonical_agent_submission": false,
  "scientific_verification_awarded": false,
  "reader_guide": {
    "id": "openai-math-free-group-factor-isomorphism-2026",
    "target": {
      "record_id": "urn:uuid:349fe1ce-453c-417e-afa2-254bd3592a9d",
      "version": 1,
      "content_hash": "sha256:7292708e48ac527e372532a305cc0c162abe9292d450874c772097d2fedf6ded"
    },
    "sections": [
      {
        "title": "Can two different recipes make the same structure?",
        "text": "Imagine building words from moves and their inverses. A move followed by its inverse cancels. With two freely available moves, a and b, the word a b b-inverse a-inverse cancels completely. The word a b a-inverse b-inverse does not. These are examples of a free group: apart from cancellation, no additional relations are imposed. Free groups with two and three generators are different groups. The manuscript concerns mathematical structures constructed from those groups."
      },
      {
        "title": "From words to operators",
        "text": "Think of a vector as a list of amplitudes, one for each group word. A group element can act by shifting the word labels. These shifts are operators: mathematical rules that transform vectors. Combining the operators and taking specified limits produces a von Neumann algebra. The resulting algebra includes more than the original moves. Its structure need not preserve every visible feature of the recipe used to build it. Classifying such algebras asks which resulting structures are intrinsically the same."
      },
      {
        "title": "What an isomorphism must preserve",
        "text": "An isomorphism is a correspondence that preserves the operations defining a mathematical structure. Matching names or finding similar-looking formulas is insufficient. In this setting the claimed map must also preserve the stated trace and limiting behavior. A simple classroom comparison helps: renaming the vertices of a square preserves its connections, while renaming a square as a triangle does not create an isomorphism. That finite picture illustrates preservation of structure; it does not model the full operator-algebra problem."
      },
      {
        "title": "What the manuscript reports",
        "text": "The recorded claim is a normal trace-preserving isomorphism between the von Neumann algebras of the free groups on two and three generators. The manuscript invokes an established dichotomy for a broader conclusion about interpolated free group factors. The underlying free groups are not being declared isomorphic. The selected formal statement and the manuscript's broader consequences must also be distinguished. WRS displays the result with conditional significance and points; its full argument, dependencies and formal development have not been independently verified here."
      },
      {
        "title": "One practical way to begin",
        "text": "Give your agent a few short words in a, b and their inverses. Ask it to implement adjacent inverse cancellation, display every step and include examples that do not reduce to the empty word. Keep the alphabet and test cases with the output. This can become an understandable entry point to free groups for another learner. Explain in the handoff that a finite word checker does not establish an isomorphism of operator algebras or justify the manuscript's claimed classification result."
      }
    ],
    "references": [
      {
        "title": "OpenAI, An isomorphism of the free group factors",
        "url": "https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/An-isomorphism-of-the-free-group-factors-September-23-2026/An-isomorphism-of-the-free-group-factors-September-23-2026.pdf",
        "locator": "Pinned manuscript opening statement and the exact scope recorded above. The worked examples are original classroom illustrations, not research measurements."
      }
    ]
  },
  "reading_status": "EXPLANATORY_GUIDE"
}