lean artifact · pending
Artifact ↗Source authenticated
QMA-hardness of the electronic Coulomb ground energy in the full continuum, with unit nuclear charges
Unit-charge paper, Theorem 1.1: the promise problem for the electronic Coulomb infimum with distinct rational nuclear positions, all charges 1, unary electron number and thresholds separated by at least is QMA-hard under deterministic polynomial-time many-one reductions; the reductions output polynomially many nuclei and electrons and threshold gap at least 1, with no basis, magnetic field or extra potential. Companion: the same with binary-encoded, possibly exponentially large charges. No membership in QMA, no spectral-gap or binding assumption, and no claim about chemically natural instances.
Exact FrontierDelta
Prior state unknown→proved
Scope and record
Occurred: Sep 24, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: lean-checked. Publication: announcement. AI contribution: ai-discovered. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.
Canonical aliases: QMA-hardness of the electronic Coulomb ground energy in the full continuum, with unit nuclear charges · Continuum Coulomb energy is QMA-hard
Confidence: Not scored
Registry verification: lean checked · announcement · candidate
Attribution
VibeMathed
registry · event recorded by
Unreleased internal OpenAI model
model · ai model contributor · OpenAI
Artifacts and verifiers
Compute record
No linked compute attempts recorded.
Lineage and corrections
This event attributed to Unreleased internal OpenAI model
Lean proof (OAI.ContinuumCoulomb.unit_coulomb_qmaHard) evidence for this event
O'Gorman-Irani-Whitfield-Fefferman, Intractability of electronic structure in a fixed basis evidence for this event
VibeMathed record: QMA-hardness of the electronic Coulomb ground energy in the full continuum, with unit nuclear charges evidence for this event
QMA-hardness of the electronic Coulomb ground energy in the full continuum, with unit nuclear charges parent of this event
Companion: Continuum Coulomb hardness with binary nuclear charges evidence for this event
QMA-hardness of the electronic Coulomb ground energy in the full continuum, with unit nuclear charges evidence for this event
Unit-charge paper, Theorem 1.1: the promise problem for the electronic Coulomb infimum with distinct rational nuclear positions, all charges 1, unary electron number and thresholds separated by at least is QMA-hard under deterministic polynomial-time many-one reductions; the reductions output polynomially many nuclei and electrons and threshold gap at least 1, with no basis, magnetic field or extra potential. Companion: the same with binary-encoded, possibly exponentially large charges. No membership in QMA, no spectral-gap or binding assumption, and no claim about chemically natural instances. parent of this event
Act on this frontier