AI Math Discovery Engine: Decades-Old Conjecture Solver

Interactive Geometric Lattice (Drag vertices to test counterexamples) Lattice Vertices: 7

Verified lattice state with active invariant constraints. Neon green bonds indicate valid unit-distance or non-overlapping kissing bounds; red pulses flag constraint violations.

Heuristic Conjecture Setup

Target Problem Benchmark

Prompted Symmetry Constraint

AI Temperature / Mutation Rate: 0.25

Discovery Telemetry & Invariants

Status: Counterexample Found

Discovered Bound

Search Iterations

Verified Invariants

Proof Metric

Euclidean Valid

Discovered State Timeline

Step 18/18

LLM Heuristic Reasoning Log

Prompt: "Perturb outer boundary while locking C6 rotational invariant. Test kissing bound k >= 12." Verification: Validated 12 kissing contacts with zero overlap. Candidate logged as verified counterexample.