Grok 4.5 被指给出研究级数学反例

近期，Grok 4.5 在数学领域的测试表现引发了广泛关注。据多则转述信息显示，该模型成功构造了 4 维球面上泊松半群超收缩性问题的显式反例。这一发现之所以备受瞩目，是因为它不仅解答了一个严肃的研究级数学问题，还可能意味着大语言模型具备了推动原创科学发现的潜力。

关键细节与背景

该数学问题涉及调和分析与概率论。根据 @soumitrashukla9 的转述，2021 年的一项研究曾证明该性质在 3 维及以下空间成立，而在 13 维等高维空间失效。Grok 4.5 给出的反例证明了该性质在 4 维即失效，从而证实了早期研究结论是“尖锐的”。此外，@LiorOnAI 指出，如果这一反例经过独立验证成立，将说明模型并非单纯复述已有文献，而是做出了真正的原创贡献。相关转述还提到该模型运行在 xAI 的 V9 架构上。

各方反应

在测试过程中，作者还尝试了其他前沿 AI 模型，其中也有模型成功找到了反例。但发布者特别赞赏了 Grok 4.5 给出的解答，认为其证明过程尤为清晰。

2026-07-10 ~ 2026-07-11 · 5 条相关

• Grok 4.5解决高维数学反例问题 — prof_g · 2026-07-10
• 【源头】Grok 4.5 或给出原创数学反例 — LiorOnAI · 2026-07-11
• Grok 4.5 传出数学证明反例 — elonmusk · 2026-07-11
• Grok 4.5 找到数学猜想反例 — rohanpaul_ai · 2026-07-11

另有 1 条近重复转述:soumitrashukla9