Tag
A mathematician reports that Grok 4.5 discovered a novel counterexample to hypercontractivity on the 4-sphere, potentially marking the first instance of original mathematical research by an AI, pending peer review.