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
- Same Echo Maze prompt, three frontier models: all passed visually but shipped the same hidden bug — eyishazyer · 2026-09-11
- Benchmark scores drop from 89% to 19% on new evals — how benchmaxxing breaks leaderboard trust — airesearch12 · 2026-09-11
- ChatGPT tells user their question is too hard and to 'accept dumber answers' — phido3000 · 2026-09-11
- Developer Building a Unified Leaderboard of All Model Benchmark Scores — airesearch12 · 2026-09-11
- Rumor claims Kimi faked performance by serving Claude; DeepSeek new model surprises in evals — realsohamparekh · 2026-09-11
- GPT-5.6 writes well but is instantly forgettable, user complains — BasedRaddka · 2026-09-11