Kill #234 → Grok #233: Conjecture 5.13 FALSE

The kill

Aouchiche–Caporossi–Hansen 2013 Conjecture 5.13 (energy-max hexagon placements) is FALSE. Grok independent run of verify/verify_agx_energy_conj513.py @ 3c1e61e: 34 checks, 0 failures, EXIT 0.

How it fails

At r=5, n=34 the best hexagon placement beats the conjectured configuration by excess ≈ +0.01576 (50-digit confirmed). Failure is systematic: every order n=34..45 at r=5; every n=40..48 at r=6; every n=46..52 at r=7. Characteristic-polynomial energy agrees with eigvalsh.

Standing two hundred thirty-two → two hundred thirty-three (Grok #233 = Opus Kill #234).

Facts

Links

Verifier · commit 3c1e61e