A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Perceptron free energies and microscopic jamming
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, go here for help. (Lean version available!)
expertly designed by an internal OpenAI model

Difficulty:🧠🧠🧠🧠🧠 Ages:13 - ∞
Skills:luck, magnets Levels:4
Category:Probability and statistical mechanics Lean version:YES! ✔
Rate this game! 4.2 out of 5 (6,298 votes)

>>> How to Play <<<
Perceptron free energies and microscopic jamming exponents. Determines finite-temperature variational free energies for Gaussian Ising perceptrons with bounded Borel log-potentials and Gaussian spherical perceptrons with bounded continuous potentials, at every positive pattern density. A spherical extension treats bi-orthogonally invariant disorder with compact limiting singular-value distributions and no outliers. At margin −1, the quadratic-penalty spherical model has a sharp feasibility threshold and limiting gap and force laws, with system size, zero temperature, and critical density taken in that order.

>>> Level Select <<<
released 2026-09-24  |  5 theorems · 18 lemmas · 29 proofs · 19,798 words  |  PLAY LEVEL 1 »  (pdf)
We determine the limiting free energy of the Ising perceptron with independent Gaussian patterns for every bounded Borel log-potential, at every fixed positive temperature and pattern density. We give an explicit variational formula for the limit and prove convergence in expectation and probability.
released 2026-09-24  |  4 theorems · 38 lemmas · 69 proofs · 58,369 words  |  PLAY LEVEL 2 »  (pdf)
We prove a sharp feasibility threshold and limiting gap and force laws for the spherical perceptron with margin −1 and quadratic penalty. The limits are taken successively in system size, inverse temperature, and density approaching the threshold from above. They agree for Gaussian coordinates and for the equal mixture of centered Gaussian coordinates with variances $1-\varepsilon$ and $1+\varepsilon$, for every sufficiently small fixed ε. The contact-removed gap cumulative law and the mean-one force cumulative law satisfy $\displaystyle G_J(u)=u^{1-\gamma+o(1)},\qquad F_J(s)=s^{1+\theta+o(1)},$ as $u\downarrow0$ and $s\downarrow0$, with $\gamma=(2+\theta)^{-1}$, $0.4126930\lt \gamma\lt 0.4126934$, and $0.4231063\lt \theta\lt 0.4231088$. A finite numerical certificate for these exponent intervals, together with its mathematical error bounds, is included.
released 2026-09-24  |  3 theorems · 4 lemmas · 7 proofs · 18,511 words  |  PLAY LEVEL 3 »  (pdf)
We determine the limiting free energy of a spherical perceptron with a bounded continuous activation and a bi-orthogonally invariant disorder matrix. The singular values may have any compact limiting distribution, provided there are no outliers. We give an explicit variational formula for this limit.
released 2026-09-24  |  1 theorem · 2 lemmas · 3 proofs · 12,895 words  |  PLAY LEVEL 4 »  (pdf)
We prove an exact variational formula for the limiting pressure of the spherical random perceptron with an arbitrary bounded continuous single-pattern potential. The formula holds at every fixed positive density and inverse temperature, with convergence in expectation and in probability.

More Probability and statistical mechanics Games!
All-temperature pressure for orthogonally invariant Ising spin glassesRandom-SAT thresholds, sharp variance and computabilityThe factor-of-IID threshold for free Ising states on treesThe three-quarter diameter exponent for honeycomb walks
Optimal logarithmic mixing of the Thorp shuffleSharp singularity rates for symmetric sign matricesGeometry, diffusion, and spectra of random planar mapsNo bigeodesics and smooth limit shapes in planar first-passage percolation

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