Grok 4.5 Potentially Provides Original Math Counterexample
LiorOnAI · x · 2026-07-11
Reports indicate that Grok 4.5 provided a new counterexample to an open mathematical problem. If independently verified, it would suggest the model isn't merely regurgitating existing work but driving an original mathematical discovery.
The post explains that the problem relates to hypercontractivity, involving harmonic analysis, probability, and partial differential equations. The previously known conclusion was that the property holds in 3 dimensions and fails by 13 dimensions, but the exact dimension of the "first failure" was unclear. The counterexample constructed by Grok allegedly pushes this critical point to 4 dimensions, thereby refining previous results.
Related event: Grok 4.5 Reportedly Discovers Research-Level Math Counterexample(5 posts)→
More from Models
- Google says Gemini 4 has entered its most ambitious pre-training run yet — himanshustwts · 2026-07-22
- China’s AI arms race is increasingly defined by chips, data centers, and open models — BenBajarin · 2026-07-22
- Sam Altman is headed to Washington to brief Congress on OpenAI’s GPT-6 line — inductionheads · 2026-07-22
- Benchmark chart pits GPT-5.6 Luna, Grok 4.5 and Gemini 3.6 Flash on price and scores — iruletheworldmo · 2026-07-22
- Claim says Kimi was distilled from Fable, sparking a model-attribution jab — cephaloform · 2026-07-22
- Gemini 3.6 Flash is now available in Antigravity and chat — MartianOnJupiter · 2026-07-22