Grok 4.5 Finds Counterexample to Math Conjecture
rohanpaul_ai · x · 2026-07-11
Grok 4.5 is described as providing a clear counterexample to a hard math problem, corresponding to a serious research-level conjecture.
The citation mentions it constructed an explicit counterexample to the Poisson semigroup hypercontractivity problem on the 4-sphere. The researcher also noted testing other frontier models—some of which also found counterexamples—but they preferred Grok 4.5's solution because it was explicit, simple, and elegant.
Related event: Grok 4.5 Reportedly Discovers Research-Level Math Counterexample(5 posts)→
More from Models
- OpenAI rolls out voice in GPT-Live, but the UI obscures search and reasoning — Graham_dePenros · 2026-07-22
- Moonshot’s Kimi K3 sets a new open-weights ECI record at 156 — scaling01 · 2026-07-22
- Nanbeige4.2-3B launches as a 3B Looped Transformer model that beats larger baselines — Wooden-Deer-1276 · 2026-07-22
- A post says six companies now beat Google’s best LLM, including two open-source models — soham_btw · 2026-07-22
- Google says Gemini 3.5 Pro is in testing and Gemini 4 is already pre-training — Wide-Ad1564 · 2026-07-22
- Gemini 3.5 Flash Lite Tested: Not Frontier-Optimal, but Hits 350 tok/s — brandon_galang · 2026-07-22