A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
The four-dimensional Singer conjecture
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:donuts, coffee cups Levels:1
Category:Topology Lean version:not yet
Rate this game! 4.5 out of 5 (4,915 votes)

>>> How to Play <<<
The four-dimensional Singer conjecture. Proves that the L2-Betti numbers of the universal cover of every closed connected aspherical topological four-manifold vanish outside degree two. More generally, the same conclusion holds for every finite connected aspherical integral Poincaré complex of formal dimension four, proving the four-dimensional Singer conjecture in this wider class.

>>> Level Select <<<
released 2026-09-25  |  1 theorem · 36 lemmas · 50 proofs · 23,063 words  |  PLAY LEVEL 1 »  (pdf)
We prove the four-dimensional Singer conjecture: the L2-Betti numbers of the universal cover of a closed connected aspherical topological four-manifold vanish outside degree two. More generally, the same vanishing holds for finite connected aspherical integral Poincaré complexes of formal dimension four, including nonorientable ones.

More Topology Games!
Thomason model structures in every strict higher dimensionChromatic splitting: counterexamples and filtrationsCounterexamples to the Hahn–Wilson conjecture at height twoA four-dimensional counterexample to Borel rigidity
A counterexample to Wall's finite D(2) conjectureThe Hilbert–Smith conjecture in every dimension HOT!Counterexamples to disk embedding and Wall's manifold conjectureThe purely cosmetic surgery conjecture for knots in $S^3$

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