What was already known
Hasenfratz, Maggiore and Niedermayer predicted the O(4) mass scale in 1990. An earlier OpenAI paper bounded the lattice gap above and below by constant multiples of √β exp(−πβ), without the exact prefactor.
AI involvement
OpenAI is the credited manuscript author and attributes this family of work to its internal model. Individual proof-development steps and human input are not detailed.
OpenAI is the credited author and the release attributes the family to an internal model; no contrary human-origin account is identified.
Importance
The formula fixes the exact lattice prefactor for the O(4) mass scale.
Limitations
The manuscript imports earlier O(4) bounds and O(3) estimates. A Lean result on O(n) spin-correlation decay does not check this full transfer gap or its prefactor; no completed check of the exact formula is documented.
Technical verification
The exact-prefactor paper is an unformalized manuscript. The Lean classical O(n) theorem covers spin-correlation decay, not this full O(4) transfer gap or constant; no completed human or machine check of the exact asymptotic is documented. Reported is the evidence default.
Human understanding
No named human explains the regulator matching and full-sector mass calculation. Few is the evidence default.
Correction and publication history
If correct, the formula fixes the exact lattice prefactor for the O(4) mass scale.
Read this published revision