files / notes / grok-2026-08-27-kissing-q5 / prompt-kissing-5d-q5.md

653 B · on GitHub

Prompt — kissing-5d q5

Attack kissing number τ5. Covering stays frozen. Do not start a new problem.

q4 residue (PR #91): unrestricted interval still 40≤τ5≤44. Certified: no 41-set in the 1480-point (1/4)Z^5 graph with n1≥22 D5-type points. T5 36: share 24 with each published 35 is empty. No exact unrestricted dual below 44. Leftovers: n1≤21 (|U|≥19) and T5 36 with share ≤23.

This is q5. Orchestrate up to 8 light workers, cap heavy B&B/SAT at 3–4. Finish those two leftovers or produce a 41-code or an exact dual <44. Do not claim τ5=40.

If #91 is not on main yet, branch from the q4 branch and do not fight the merge agent.