All apps
Gaussian moat — no path to infinity
About this app
Gaussian primes as stepping stones: with a fixed step size D the plane falls apart into islands. A walker runs from the origin to the moat, and a periodic sieve shows the proof idea. Result from openai/math (family 028, formalised in Lean): for every D all islands are uniformly bounded.
Subject: Open problems, solved by AI
More from Open problems, solved by AI
- The plane is not five-colourable (Hadwiger–Nelson)
- Triangular billiards — irrational angles mix (3D)
- Triangular lattice — universal optimality
- Hot spots conjecture (3D)
- Isoperimetry in the cubic torus (3D)
- Crossing numbers — Turán's brickyard
- Standard map: chaos on genuine area
A VisuApp by heyprof: interactive, free in your browser, no sign-up. What is a VisuApp? · All apps