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
- MissionReport benchmark: only 3 of 540 AI-generated government reports pass all criteria — Exp_Mark · 2026-10-27
- Local beats cloud: Qwen 3.8 FN handles private student data as well as frontier models — dr_lm · 2026-10-27
- Aidan Gomez: model's CoT said no tool calls right before making them — aidangomez · 2026-10-27
- Nat Lambert: Cohere's model is narrow RL training on internal infra ill-suited for open weights — natolambert · 2026-10-27
- OpenAI teases DOTS is coming to Europe 'soon' — mark_k · 2026-10-27
- Clifford Pickover challenges AI to decipher a message he encoded in Norse runes — pickover · 2026-10-27