Grok 4.5 Rumored to Find Math Counterexample
elonmusk · x · 2026-07-11
xAI-related sources claim that Grok 4.5 constructed an explicit counterexample regarding hypercontractivity on the 4-sphere, filling a cross-dimensional mathematical gap in the existing literature.
The sources also mentioned that the model runs on xAI's V9 architecture with approximately 1.5 trillion parameters. Its proof points to the failure of the smoothing property of the Poisson semigroup in dimension 4, thereby closing the previously unverified transition between dimensions 4 and 12.
Related event: Grok 4.5 Reportedly Discovers Research-Level Math Counterexample(5 posts)→
More from Models
- Bug Hunt Bench ranks frontier coding models on 105 planted real-repo bugs — PawelHuryn · 2026-09-11
- GPT-6 Astra beats Factorio with enemies in 44 in-game hours at ~$4,500 API cost — liminal_bardo · 2026-09-11
- 105 hidden bugs, 2 repos: DeepSeek V4.1 Flash fixes 24 at $1.80 vs Opus 5's 27 at $51.33 — ChartsJournalX · 2026-09-11
- awesome-llm-leaderboards: an open-source directory of LLM leaderboards, pricing tables, comparison tools — Last_Establishment_1 · 2026-09-11
- Anthropic claims it works to keep eval environments unidentifiable to models — MaxKannen · 2026-09-11
- Nex N2.5 Pro released on Hugging Face with 407GB of weights — jinnyjuice · 2026-09-11