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
- Grok 4.5 is now free inside Cursor, the popular AI coding IDE — mark_k · 2026-07-21
- GPT often converges on the same near-miss ideas in math problems — yacineMTB · 2026-07-21
- Eno Reyes says model distillation is basically unstoppable — LangChain · 2026-07-21
- Sakana says multiple diffusion models plus MCTS beat test-time scaling on coding and math — SakanaAILabs · 2026-07-21
- OpenAI hackathon project stalls as Codex struggles on voice, while Claude spots the issue — ColleenMBrady · 2026-07-21
- Kimi K3 lands exactly on China’s 2-year AI capability trend line — peterwildeford · 2026-07-21