Grok 4.5啃下一道挂了30年的数论题，马斯克顺势抛出“AI审AI”的新玩法。
7月22日，xAI发布技术博客称，Grok 4.5成功解决解析数论难题“双素数猜想的渐近密度估计”——该问题由数学家Pipkin于1996年提出，长期未决。Grok 4.5给出比现有最好结果更精确的渐近密度上界，并提供完整证明；xAI数学团队称证明由模型自主完成，过程中无人类数学家直接干预。
这与此前GPT-5.6 Sol证明Cycle Double Cover Conjecture、华为小艺与小红书大模型在IMO 2026满分夺金等进展同属一条线索：AI正越来越深地进入前沿数学。
更具争议的是马斯克提出的“前沿AI同行评审”：由不同公司的AI系统组成评审委员会，对AI产出的数学证明、科学论文、技术方案交叉验证，并公开过程供人类数学家监督。支持者看中效率；质疑者担心训练数据重叠导致“近亲繁殖”、削弱客观性。无论最终能否落地，xAI都在把自身从话题公司，进一步推向可被引用的科研叙事。