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
- Together AI sits down with Meta to explain Muse Spark Open — togethercompute · 2026-10-27
- China bets on open-weight AI: cybersecurity weapon or armour? SCMP examines the debate — pstAsiatech · 2026-10-27
- GPT-6.1 Terra hits ~60% on Agents' Last Exam at $1/task, 9x cheaper than Opus 5.5 — ChrisGPT · 2026-10-27
- ChatGPT keeps telling tech-support users to email 404 Media's Jason Koebler — petrusenko_max · 2026-10-27
- GPT-6.1 Terra called the awkward middle tier, priced at half of GPT-6.1 Sol — cedric_chee · 2026-10-27
- Mystery model "Terra" scores 48 on Artificial Analysis index with no public API — haider1 · 2026-10-27