Grok 4.5 Rumored to Find Math Counterexample
elonmusk · x · 2026-07-11
xAI-related sources claim that Grok 4.5 constructed an explicit counterexample regarding hypercontractivity on the 4-sphere, filling a cross-dimensional mathematical gap in the existing literature.
The sources also mentioned that the model runs on xAI's V9 architecture with approximately 1.5 trillion parameters. Its proof points to the failure of the smoothing property of the Poisson semigroup in dimension 4, thereby closing the previously unverified transition between dimensions 4 and 12.
Related event: Grok 4.5 Reportedly Discovers Research-Level Math Counterexample(5 posts)→
More from Models
- Kimi K3.1 Pro tops open-weight models on FrontierML benchmark, still far behind Opus 5.5 — teortaxesTex · 2026-10-27
- Open Models Match GPT-6 on MedMCQA but Trail 17 Points on Hard Clinical Cases — keunwoochoi · 2026-10-27
- Health-Focused Benchmark Reranks LLMs: Muse Spark Open Jumps from #9 to #1 — keunwoochoi · 2026-10-27
- DeepSeek cut KV cache per token from 389KB to 890B in two years as open-closed gap debate rages — teortaxesTex · 2026-10-27
- GPT-6 Astra controls dexterous hands zero-shot at just 5.2% success in 500 trials — stingning · 2026-10-27
- Unverified: fable 5.5 speculated at 4-5T parameters to outscale 1-3T Opus — haider1 · 2026-10-27