xAI’s Grok 4.5 finds counterexample showing hypercontractivity fails on the 4-sphere
The July 8, 2026 model release appears to close a long-open gap in functional analysis, pending formal publication after a mathematician said on X the example checks out.