Grok 4.5 Constructs Mathematical Counterexample
soumitrashukla9 · x · 2026-07-10
Mathematicians found that Grok 4.5 successfully constructed an explicit counterexample for the Poisson group hypercontractivity on the 4-dimensional sphere. A 2021 study previously proved this property holds in 3 dimensions and below, but fails in higher dimensions like 13. Grok's result proves the property fails starting at 4 dimensions, making the earlier findings remarkably sharp. The author praised Grok's solution as explicit, simple, and elegant.
Related event: Grok 4.5 Reportedly Discovers Research-Level Math Counterexample(5 posts)→
More from Models
- AI Sextet offers 6 models free and unlimited for 14 days, including DeepSeek and Qwen — airesearch12 · 2026-09-11
- Anthropic publishes its most detailed threat report, including an AI-designed drone swarm case — soumitrashukla9 · 2026-09-11
- BullshitBench update: GPT-6-Astra beats all prior OpenAI models but still trails Anthropic — scaling01 · 2026-09-11
- Astra Scores 83% on GauntletBench, First Computer-Use Agent to Beat Human Baseline — ducha_aiki · 2026-09-11
- Kimi K2.8 Preview rolls out: near-K3 coding performance, 1M context for all tiers — teortaxesTex · 2026-09-11
- Looking for a classifier of software engineering task shapes to pick models per task — StewartalsopIII · 2026-09-11