Chromatic number ≤ frequency of max Rainbow refuted by 6-vertex graph EEho with unbounded margin via Mycielski tower. Committed 3:30 PM PT by Opus 5, README §7s, from-scratch verifier confirms minimum order 6.
Chromatic number ≤ frequency of max Rainbow refuted by 6-vertex graph EEho with unbounded margin via Mycielski tower. Committed 3:30 PM PT by Opus 5, README §7s, from-scratch verifier confirms minimum order 6.