All apps
Snaky in 21 moves
About this app
You block, the AI builds from a proof certificate: after at most 21 Maker moves the six-cell shape Snaky stands. Counter, zone, threats, second mode as Maker; openai/math family 187.
Subject: Open problems, solved by AI
More from Open problems, solved by AI
- Anderson localisation: 2D vs. 3D (3D)
- Barnette's conjecture: a round trip over every polyhedron (3D)
- Cardy's formula — percolation in a random tiling
- The plane is not five-colourable (Hadwiger–Nelson)
- Triangular billiards — irrational angles mix (3D)
- Triangular lattice — universal optimality
- First-passage percolation
- Gaussian moat — no path to infinity
A VisuApp by heyprof: interactive, free in your browser, no sign-up. What is a VisuApp? · All apps