AI Math Discovery Counterexample Explorer χ = 4

Unit-Distance Graph Sandbox & Hadwiger-Nelson Chromatic Bounds
Vertices 7
Unit Edges (d ≈ 1.0) 11
Chromatic No. (χ) 4
3-Colorable? NO (Monochromatic Edge Forced)
AI Search Prompt Heuristic
"Apply 60-degree rotational reflection across unit rhombus axis to force monochromatic edge under 3-coloring."
Search Step: 0
Certificate & Non-Colorability Proof
[INIT] Moser Spindle loaded. 7 vertices, 11 unit edges.
[BOUND] Tested 3-colorings (3^7 = 2187 states). No valid proper coloring found.
[CERTIFICATE] χ(G) = 4 proven. Exact unit-distance sub-graph certificate valid.
Unit Edge (d=1.0)
Non-unit (relaxed)
Export & Mathematical Cards
Super generates helpful tools and automates fact-checking across the internet proactively. If you enjoyed this tool, build your own with Super and share it with a friend.