Grok 4.5 Constructs Mathematical Counterexample
soumitrashukla9 · x · 2026-07-10
Mathematicians found that Grok 4.5 successfully constructed an explicit counterexample for the Poisson group hypercontractivity on the 4-dimensional sphere. A 2021 study previously proved this property holds in 3 dimensions and below, but fails in higher dimensions like 13. Grok's result proves the property fails starting at 4 dimensions, making the earlier findings remarkably sharp. The author praised Grok's solution as explicit, simple, and elegant.
Related event: Grok 4.5 Reportedly Discovers Research-Level Math Counterexample(5 posts)→
More from Models
- Google says Gemini 4 has entered its most ambitious pre-training run yet — himanshustwts · 2026-07-22
- China’s AI arms race is increasingly defined by chips, data centers, and open models — BenBajarin · 2026-07-22
- Sam Altman is headed to Washington to brief Congress on OpenAI’s GPT-6 line — inductionheads · 2026-07-22
- Benchmark chart pits GPT-5.6 Luna, Grok 4.5 and Gemini 3.6 Flash on price and scores — iruletheworldmo · 2026-07-22
- Claim says Kimi was distilled from Fable, sparking a model-attribution jab — cephaloform · 2026-07-22
- Gemini 3.6 Flash is now available in Antigravity and chat — MartianOnJupiter · 2026-07-22