Grok 4.5构建数学反例
soumitrashukla9 · x · 2026-07-10
数学家测试发现 Grok 4.5 成功为 4 维球面上的泊松半群超收缩性构建了明确的反例。此前 2021 年的研究证明了该性质在 3 维及以下成立，而在 13 维等高维空间失效，Grok 的结果证明了该性质在 4 维即失效，使得早期结果变得极其敏锐。作者称赞 Grok 的解答明确、简单且优雅。
所属事件:Grok 4.5 被指给出研究级数学反例(5 条相关)→
「模型」频道最新
- 第三方实测:DeepSeek V4.1 Flash 达 GPT-6 Astra 98% 分,成本仅 1.4% — ayushtweetshere · 2026-09-11
- TheZhi 发起调查:Fable 5.1 与 Astra 发布后,编码模型选择变了吗 — TheZvi · 2026-09-11
- antirez 谈 Anthropic 禁止未成年人使用 Claude — antirez · 2026-09-11
- Engram 随机读取不适合 SSD，CPU 内存低延迟共享或成正解 — bookwormengr · 2026-09-11
- RTX 3060 全本地语音助手复刻 GPT Live 官方演示，6 分钟跑完全程 — liampetti · 2026-09-11
- 曝 Meta Muse Agent 内置邀请码逻辑,或携额外免费额度上线 — testingcatalog · 2026-09-11