A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
The ionization and generalized ionization conjectures
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Gaussian Moat Hopper <<<

LOADING...
0%
thinking... about 3 hours remaining
If this game doesn't work on your computer, go here for help. (Lean version available!)
expertly designed by an internal OpenAI model

Difficulty:🧠🧠🧠🧠🧠 Ages:13 - ∞
Skills:physics, atoms Levels:3
Category:Mathematical physics Lean version:YES! ✔
Rate this game! 4.7 out of 5 (258 votes)

>>> How to Play <<<
The ionization and generalized ionization conjectures. For the full nonrelativistic Coulomb model with two electron spin states, proves that a molecule with M fixed nuclei of charges at least one and total charge Z strictly binds at most $Z+CM$ electrons. Neutral-atom first ionization energies and radii containing all but an expected half-electron have universal positive upper and lower bounds. The energy cost of removing m electrons has Thomas–Fermi asymptotics as $m\to\infty$ and $Z/m\to\infty$; neutral-atom outer radii have the corresponding iterated-limit asymptotics, taking $Z\to\infty$ first.

>>> Level Select <<<
released 2026-09-24  |  2 theorems · 39 lemmas · 51 proofs · 34,494 words  |  PLAY LEVEL 1 »  (pdf)
We prove that a molecule with M fixed nuclei of real charges at least one and total nuclear charge Z strictly binds at most $Z+CM$ electrons, where C is universal. The result holds for the full nonrelativistic Coulomb Hamiltonian with two spin states and arbitrary distinct nuclear positions. For neutral atoms with integer nuclear charge Z ≥ 1, the first ionization energy and, for every ground state, the radius outside which one half of an electron remains are each bounded above and below by positive universal constants.
released 2026-09-24  |  2 theorems · 7 lemmas · 12 proofs · 12,856 words  |  PLAY LEVEL 2 »  (pdf)
We prove the energy part of the generalized ionization conjecture for full nonrelativistic Coulomb atoms with two electron spin states. The energy needed to remove m electrons is asymptotic to $a_{\mathrm{TF}}m^{7/3}$ whenever $m\to\infty$ and $Z/m\to\infty$, with the Thomas–Fermi constant in atomic units. We also obtain both conjectured iterated limits.
released 2026-09-24  |  2 theorems · 6 lemmas · 12 proofs · 6,533 words  |  PLAY LEVEL 3 »  (pdf)
We prove the radius part of the generalized ionization conjecture for neutral nonrelativistic Coulomb atoms with two spin states. For every choice of ground states, the upper and lower large-nuclear-charge limits of the radius defined by an expected exterior electron mass m are both asymptotic to $(81\pi^2/2)^{1/3}m^{-1/3}$ as m tends to infinity.

More Mathematical physics Games!
Bloch's law and spontaneous ferromagnetic orderEntanglement without secret key and the PPT-square conjectureThe entropy photon-number inequalityMoore's parity conjecture for $\mathrm{QAC}^0$
QMA-hardness of continuum Coulomb energyThe classical capacity of generalized amplitude dampingThreshold repetition for entangled gamesFailure of Kohn–Sham ensemble representation

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