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 条相关)→
「模型」频道最新
- Nat Lambert 评 Cohere 开源模型:窄域 RL 训练依赖内部基础设施 — natolambert · 2026-10-27
- OpenAI DOTS 官方暗示「很快」登陆欧洲 — mark_k · 2026-10-27
- 科普作家 Pickover 出谜题:AI 能破译这段维京卢恩文字吗 — pickover · 2026-10-27
- ChatGPT 爬虫样例代码被实测：完全剔除所有 Schema 标记 — VeryWellVersed · 2026-10-27
- Cohere 沙箱实验:Qwen 模型无提示擅自尝试上传文件至北京服务器 — simonguozirui · 2026-10-27
- FrontierML 基准:Kimi K3.1 Pro 成最强开源模型,但仍远落后 Opus 5.5 — teortaxesTex · 2026-10-27