摘要： 背景 Grok 4是xAI公司自2023年推出首代大模型以来的第四次重要迭代，被官方宣称是“最新、最强大的旗舰模型”，马斯克更是称其为“世界上最智能AI”。该模型在GBQA（博士级问题集）、AMC 25（美国数学邀请赛）、Live Coding Benchmark（编程能力测试）、HMMT（哈佛-M 阅读全文