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
- 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
- DeepSeek V4 Pro API to continue after Sept 2026, billing unchanged — teortaxesTex · 2026-09-11
- DeepSeek V4.1 Flash Hits 98% of GPT-6 Astra's Score at 1.4% of the Cost in Third-Party Benchmark — ayushtweetshere · 2026-09-11