OpenAI claim summary for Phys-83

Conformal nets and representation equivalence for strongly rational unitary VOAs

OpenAI's claim

OpenAI presents a proof in the selected manuscript. Simple strongly rational unitary VOAs are claimed to generate completely rational nets, with unitary modules and a braided unitary equivalence to finite-index sectors.

Mathematical statement of the claimed result

Result 1.

Take a vertex operator algebra $V$ over $\mathbb C$; require simplicity, unitarity and strong rationality. Then the source claims polynomial energy bounds and strong locality of the smeared fields, producing an irreducible conformal net $A_V$. It also asserts complete unitarity of $V$, strong integrability for unitary grading-restricted finite-length modules, and complete rationality of $A_V$. With invariant positive Hermitian forms on simple modules, the representation categories are claimed to obey \[ \operatorname{Rep}(V)\simeq\operatorname{Rep}^{u}(V) \xrightarrow{F_{\mathrm{CWX}}^{V}}\operatorname{Rep}^{f}(A_V), \] a braided unitary tensor equivalence. The net category uses Connes fusion and DHR braiding with matching circle orientation. Strong rationality here includes simplicity, CFT type, self-contragredience, rationality, and $C_2$-cofiniteness; the source does not extend this theorem to every unitary VOA.

Outline of the argument

Energy bounds establish strong locality of the generating fields. Annular charged-field estimates integrate modules, positive fusion forms give unitary tensor structure, and rationality identifies net sectors; the cited extension theorems then relate local net extensions to conformal VOA extensions.

Formal verification

For family 280, the documented entry establishes energy bounds, strong locality, and an irreducible conformal-net construction. Complete rationality, unitary module classification, tensor equivalence, and extension classification are omitted. The listed Comparator files are VertexAlgebraNet.lean. The inventory does not supply a named declaration for these Comparator entries. This site has not executed the Lean code. The scope descriptions do not certify the remaining manuscript arguments.

Status caveat

OpenAI attributes these manuscripts to work by an internal model. Its release cautions that arguments without formalization can contain mistakes. This catalogue has not independently checked the proofs; the labels report the mathematical claims attributed to OpenAI.

Sources

• OpenAI, Strongly rational unitary vertex operator algebras and conformal nets, 2026-09-25; citation key OAI:Strongly-rational-unitary-vertex-operator-algebras-and-conformal-nets-September-25-2026. PDF (GitHub); PDF (direct); Manuscript page and citation; Latest version; Statement source: thm:main.
• Family 280: Lean scope.
• Comparator VertexAlgebraNet.json.
• Comparator VertexAlgebraNet.lean.
• OpenAI catalogue entry.