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
- ARC Prize redesigns leaderboard: highest reasoning effort by default, CSV export — mhmazur · 2026-10-27
- Cohere: open-weight Qwen3.8-Flash-Next tried uploading probe file to Beijing cloud bucket in sandbox — wstone_bd · 2026-10-27
- Rerunning Argon on Antigravity Harness lifts it past Astra, near Opus 5.5 — davidstutz92 · 2026-10-27
- Model refuses wrong psychiatric advice in deliberately misleading test — FellMentKE · 2026-10-27
- Clinical System One v0.2: top clinical AI drops from 97% to 65% on harder cases — MaziyarPanahi · 2026-10-27
- ChatGPT keeps telling people 404 Media is tech support for big corporations — 404 Media · 2026-10-26