Grok 4.5 Solves High-Dimensional Math Counterexample
prof_g · x · 2026-07-10
Mathematicians found that Grok 4.5 successfully constructed an explicit counterexample for the supercontractivity of Poisson groups on 4-dimensional spheres, proving that previous research conclusions about this property holding in low dimensions but failing in high dimensions are sharp.
The author also tested other frontier AI models, one of which found a counterexample as well. However, Grok 4.5 was specifically praised for delivering a highly explicit, simple, and elegant solution, with related attachments generated entirely by the model itself.
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