Grok 4.5 传出数学证明反例
elonmusk · x · 2026-07-11
xAI 相关转述称，Grok 4.5 构造了一个关于 4-sphere 上 hypercontractivity 的显式反例，补上了此前文献里一个跨维度的数学空缺。
转述还提到：该模型运行在 xAI 的 V9 架构 上，参数规模约 1.5 万亿；其证明结果指向 维度 4 下 Poisson 半群的平滑性质失效，从而闭合了此前从 4 到 12 维之间未被验证的过渡。
所属事件:Grok 4.5 被指给出研究级数学反例(5 条相关)→
「模型」频道最新
- 有人要建全模型基准分数汇总页 — airesearch12 · 2026-09-11
- 爆料称 Kimi 疑似转发 Claude 冒充自家成绩，DeepSeek 新模型评测反超 — realsohamparekh · 2026-09-11
- 网友吐槽 GPT-5.6 文笔好读但缺乏记忆点 — BasedRaddka · 2026-09-11
- Opus 以"安全"为由拒碰蛋白质生成代码,开发者吐槽误伤 — josephdviviano · 2026-09-11
- 网友称 DeepSeek 4.1 Flash 是语言模型历史拐点(未证实) — himanshustwts · 2026-09-11
- Terminal Bench v4 榜单:GLM-5.3 以 41.9% 一骑绝尘 — Ok_Warning2146 · 2026-09-11