Teortaxes▶️ (DeepSeek 推特🐋铁粉 2023 – ∞) (@teortaxesTex)
@teortaxesTex
We're in a race. It's not USA vs China but humans and AGIs vs ape power centralization.
@deepseek_ai stan #1#, 2023–Deep Time
«C’est la guerre.» ®1
3.2K 正在关注 69.1K 粉丝
Grok is a frontier model.
Grok 4.5 just constructed an explicit counterexample to hypercontractivity for the Poisson semigroup (the square root of the Laplace–Beltrami operator) on the 4-sphere.
Back in 2021, with Rupert Frank we proved that hypercontractivity holds in dimensions ≤3 and fails in sufficiently large dimensions (for example, in dimension 13). Grok's example shows that it already fails in dimension 4, making our earlier result sharp.
I also tested this problem on several other frontier AI models. One of them also managed to find a counterexample, but I particularly like Grok 4.5's solution: it is explicit, simple, and elegant.
The attached files were generated entirely by Grok 4.5 build (with zero intervention on my side).
显示更多
I think GLM 5.2 points to a 7 months gap currently
It's around Opus 4.7-4.8 level, all told (modulo vision which in Opus's case is garbage anyway). Mythos reached Preview status (≥ Opus 4.8, functionally) by early Feb 2026. This means full PRC Mythos ("Fable") by Nov-Dec'26.
显示更多
@teortaxesTex What's your current timeline for china to reach Fable class ? GLM-5.2 certainly shorten the gap.
yep, Elon has gained some appreciation for the hardness of this task. Amazing. Now he admits he might not get to #1# in 3 more years.
This makes me more bullish on Grok.
What you say is true, but nonetheless our AI will be great. Whether it is the best remains to be seen, but I will never give up. Never.
Space(XAI) is only 3 years old. That’s half the age of Anthropic and quarter the age of OpenAI.
Let’s see where things stand 3 years from now.
显示更多
