Prove VertexAlgebraNet (openai/math family 280: Strong locality for strongly rational unitary vertex…
Prove VertexAlgebraNet (openai/math family 280: Strong locality for strongly rational unitary vertex…: a task in openai/math as Harbor environments (Harbor dataset). Context: this statement belongs to family 280 of the release, Strong locality for strongly rational unitary vertex operator algebras…
The task
Context: this statement belongs to family 280 of the release, *Strong locality for strongly rational unitary vertex operator algebras* (Mathematical physics). The family as a whole: Proves the strongly rational case of the strong-locality conjecture: every simple unitary strongly rational complex vertex operator…
Part of raising-heart/openai-math.