A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Threshold and positive-energy bound states of the BFSS model
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Egyptian Fractions <<<

LOADING...
0%
thinking... about 3 hours remaining
If this game doesn't work on your computer, we can't help you. No Lean version yet. Some unformalized games could have issues!
expertly designed by an internal OpenAI model

Difficulty:🧠🧠🧠🧠🧠 Ages:13 - ∞
Skills:physics, atoms Levels:2
Category:Mathematical physics Lean version:not yet
Rate this game! 4.9 out of 5 (7,586 votes)

>>> How to Play <<<
Threshold and positive-energy bound states of the BFSS matrix model. Proves that the undeformed relative $\mathrm{SU}(N)$ BFSS model has exactly one normalizable zero-energy state for every finite N ≥ 2, resolving the threshold-bound-state conjecture. For $\mathrm{SU}(2)$, a companion proves infinitely many normalizable positive-energy eigenstates with unbounded energies, contradicting the original BFSS paper's exclusion of additional bound states at N = 2.

>>> Level Select <<<
released 2026-09-24  |  1 theorem · 21 lemmas · 31 proofs · 21,153 words  |  PLAY LEVEL 1 »  (pdf)
For every finite N ≥ 2, we prove that undeformed $\mathop{\mathrm{SU}}\nolimits (N)$ BFSS matrix quantum mechanics has exactly one normalizable zero-energy state after removing the center of mass. This establishes the threshold-bound-state conjecture.
released 2026-10-05  |  1 theorem · 7 lemmas · 9 proofs · 4,255 words  |  PLAY LEVEL 2 »  (pdf)
We prove that the relative $\mathop{\mathrm{SU}}\nolimits (2)$ BFSS Hamiltonian has infinitely many positive eigenvalues tending to infinity, with square-integrable eigenvectors. The operator is defined by closing the gauge-invariant supercharge form. This refutes, at N = 2, the exclusion of normalizable positive-energy states stated in the original BFSS paper.

More Mathematical physics Games!
Entanglement without secret key and the PPT-square conjectureThe entropy photon-number inequalityMoore's parity conjecture for $\mathrm{QAC}^0$QMA-hardness of continuum Coulomb energy
The classical capacity of generalized amplitude dampingThreshold repetition for entangled gamesFailure of Kohn–Sham ensemble representationExact quantum factoring over a fixed finite gate set HOT!

Cool Links: openai/math   Lean   Mathlib   arXiv   the real Coolmath Games