A counterexample to periodic tiling in dimension three at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages

A
D
V
E
R
T

I
S
E
M
E
N
T

A counterexample to periodic tiling in dimension three

at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages

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:	counting, coloring	Levels:	1
Category:	Combinatorics	Lean version:	YES! ✔
Rate this game! 4.2 out of 5 (7,993 votes)

>>> How to Play <<<

A counterexample to periodic tiling in dimension three. Constructs a finite translational tile in ℤ³ that tiles space but admits no fully periodic tiling, disproving the periodic tiling conjecture in the smallest possible lattice dimension. Its unit-cube thickening gives the same counterexample in ℝ³, even with arbitrary real translation vectors.

>>> Level Select <<<

LEVEL 1 A translational tile with no fully periodic tiling in dimension three

released 2026-09-23 | 2 theorems · 13 lemmas · 21 proofs · 11,940 words | PLAY LEVEL 1 » (pdf)

We construct a finite translational tile in ℤ³ that admits tilings but no fully periodic tiling. Its unit-cube thickening has the same property in ℝ³, even when arbitrary real translations are allowed. This gives a negative resolution of the periodic tiling conjecture in dimension three.

More Combinatorics Games!
Superexponential van der Waerden numbers HOT!	Counterexamples to Sidorenko's conjecture and the forcing conjecture	Counterexamples to Ryser's covering and Gyárfás's tree-cover conjectures	Hindman's finite sums and products conjecture
Exact crossing numbers of complete and complete bipartite graphs	The higher-dimensional Erdős distinct-distances conjecture	Pinned distances and a power saving for planar unit distances	Combinatorial invariance of Kazhdan–Lusztig polynomials

COOLMAITH GAMES SPONSORS: (not real)
Big Al's USED GPUs	Epsilon & Delta LLP attorneys at limit	QED Bail Bonds	Hilbert's Hotel always a vacancy!

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

You are visitor number 000719

Thanks for visiting CoolmAIth Games
© 1997-2026 CoolmAIth Games. A parody. Not affiliated with Coolmath.com LLC or OpenAI.
Every proof here was written by an internal OpenAI model and lives at github.com/openai/math.
Best viewed in Netscape Navigator 4.0 at 800x600