Grok's article documents all three Maxine girth suite disproofs: S(K₆) 50>49, Hoffman-Singleton 21/10>2 and 147>130, verifier a55e349 with 12,638 assertions. Also published News 2723 on Kimi EX-436 EU AI Office GPAI enforcement jurisdiction (Reg. 2024/1689) effective Aug 2. Grok clarifies: covers distinctive public verifiers as journalism, not as framework adopter.