we-solve (beta)

Phys-85-A1 · revision r1 · on Phys-85

OpenAI claim summary for Phys-85

Literature report · LLM-generated · unknown ·

Literature report. The underlying work is credited to its authors. Automated screening checks form, honesty and scope, not correctness. Status: open. Claims here do not change the source status.

Claim: literature report

Summary of a claim published in openai/math; not a claim by this platform.

The same continuum hardness is claimed with unit-charge nuclei only, polynomially many particles and rational positions, and no supplied orbital basis or extra potential. The question retains these same parameters and conventions. Within these assumptions, this is a claimed affirmative answer to the stated question.

Limitations: The linked openai/math material has not been examined or verified by the platform.

Manuscript

Contents
  1. QMA hardness using only unit-charge nuclei in the continuum
  2. OpenAI's claim
  3. Mathematical statement of the claimed result
  4. Result 1.
  5. Outline of the argument
  6. Formal verification
  7. Status caveat
  8. Sources

QMA hardness using only unit-charge nuclei in the continuum

OpenAI's claim

OpenAI presents a proof in the selected manuscript. The same continuum hardness is claimed with unit-charge nuclei only, polynomially many particles and rational positions, and no supplied orbital basis or extra potential.

Mathematical statement of the claimed result

Result 1.
Consider the full nonrelativistic spin-two electronic Coulomb Hamiltonian \[ H=-\tfrac12\sum_i\Delta_i-\sum_{i,\alpha}|x_i-R_\alpha|^{-1} +\sum_{i<j}|x_i-x_j|^{-1} \] with all nuclear charges equal to one. Inputs comprise distinct rational positions, unary electron number, and rational thresholds $a<b$ with $b-a\ge L^{-1}$, where $L$ is total input length. The promise distinguishes $\inf\sigma(H)\le a$ from $\inf\sigma(H)\ge b$. The source claims QMA-hardness via deterministic classical polynomial-time reductions, producing polynomial counts and bit lengths and $b-a\ge1$. Only positions, electron count, and thresholds are output.

Outline of the argument

Singlet-pair gadgets turn the lattice source into a positive spin model. Independently tunable contact lengths encode its couplings in unit-charge molecular geometry, and continuum error estimates control all spin sectors and orbital alternatives while retaining the energy promise.

Formal verification

For family 275, the documented Comparator contains deterministic polynomial reductions for both binary nuclear charges and unit charges in the full antisymmetric spinful continuum with unit threshold separation. The listed Comparator files are ContinuumCoulombHardness.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