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
- Meta's Muse Agent has built-in invite code logic, hinting at free-usage expansion — testingcatalog · 2026-09-11
- Same Echo Maze prompt, three frontier models: all passed visually but shipped the same hidden bug — eyishazyer · 2026-09-11
- Benchmark scores drop from 89% to 19% on new evals — how benchmaxxing breaks leaderboard trust — airesearch12 · 2026-09-11
- ChatGPT tells user their question is too hard and to 'accept dumber answers' — phido3000 · 2026-09-11
- Claude is no longer available for minors as Anthropic rolls out age assurance — Muhammad523 · 2026-09-11
- Developer Building a Unified Leaderboard of All Model Benchmark Scores — airesearch12 · 2026-09-11