xAI 发布 Grok 4.5，破解数十年数学维度难题

Techub News 消息，xAI 于 7 月 8 日发布 Grok 4.5，该模型构造了四维球面（S⁴）上泊松半群超压缩性失效的显式反例，填补了数学家遗留多年的维度边界空白。 此前学界已证明该性质在三维及以下成立，在十三维及以上失效，但四维至十二维之间长期处于未知状态。Grok 4.5 基于 V9 架构、拥有 1.5 万亿参数，其构建的数学对象可被独立验证，明确维度过渡边界为 n≤3 时成立、n≥4 时失效。（CryptoBriefing）