Analysis finds Grok 4.5 autonomously generated a mathematical counterexample disproving hypercontractivity on the 4-sphere · Digg