Grok 4.5被xAI说成啃下了一道挂了约30年的数论题。埃隆·马斯克接着提出的，是让不同公司的模型互相审稿。
xAI是马斯克创办的人工智能公司，Grok是它的模型。7月22日，公司在技术博客中称，Grok 4.5解决了解析数论中的「双素数猜想的渐近密度估计」。问题由数学家Pipkin在1996年提出，长期没有解决。双素数指相差为2的一对素数，例如3和5。渐近密度估计，是在数越来越大时，这类素数对出现得有多密，给出一个越来越准确的上界描述。
xAI称，Grok 4.5给出的上界比现有最好结果更精确，并提供了完整证明。公司数学团队还称，证明由模型自主完成，过程中没有人类数学家直接干预。这句话的可核对部分是「团队如此表述」；证明是否成立，仍要经过数学共同体的检验，而不是由发布博客单方面结束。
同一时期还有别的数学进展被放在一条线索里看：GPT-5.6 Sol证明了Cycle Double Cover Conjecture，华为小艺和小红书的大模型在2026年国际数学奥林匹克中满分夺金。线索是：模型正在被用于前沿数学，而不只是解课本习题。各家的题、证明方式和审核标准并不相同，不能折算成同一张排名。
更有争议的是马斯克提出的「前沿人工智能同行评审」。做法是由不同公司的人工智能系统组成评审委员会，对模型产出的数学证明、科学论文和技术方案做交叉验证，并把过程公开，供人类数学家监督。支持者看中的是速度。质疑者担心训练数据重叠会造成「近亲繁殖」，模型用相似的语料互相背书，客观性反而下降。
同行评审若只在一家公司内部完成，就和普通技术博客没有区别。这个方案的关键是「不同公司」和「公开过程」。做不到这两句，速度优势就不成立，训练数据重叠带来的互相背书也无法被证伪。人类数学家的监督若只出现在新闻标题里，机制就还没有开始。
无论这个机制最终是否落地，xAI都在把自己从话题公司往「可以引用的科研发布」推。下一观察点不是再一句宣言，而是这篇证明能否被独立数学家复现，以及跨公司评审会不会真的公开原始交互，而不是只公开结论。