Grok 4 正式发布：把AIME刷爆到满分的大模型

主要观点总结

本文介绍了xAI公司发布的最新旗舰模型Grok 4。Grok 4被马斯克称为目前世界上最强大的AI，具备多项先进功能，包括全领域推理能力、上下文窗口达到256K tokens、支持多模态交互以及强化学习+工具使用能力升级等。它在多个基准测试中表现出色，特别是在数学、逻辑方面的测试成绩领先。此外，Grok 4的价格和可用性也得到了详细介绍。xAI计划在未来数月内继续推出系列增强模型，包括编程增强版、多模态智能体以及视频生成模型。

关键观点总结

关键观点1: Grok 4被马斯克称为目前世界上最强大的AI

Grok 4具备多项先进功能，如全领域推理能力、上下文窗口达到256K tokens、支持多模态交互等。

关键观点2: Grok 4在多个基准测试中表现出色

特别是在数学、逻辑方面的测试成绩领先，如HLE得分提升至50.7%、AIME25美国数学邀请赛满分等。

关键观点3: Grok 4的价格和可用性

Grok 4已支持通过API接入，并提供标准用户方案和面向高端开发者和专业用户的方案。价格分别为每月30美元和每年300美元。

关键观点4: xAI的未来计划

xAI计划在未来数月内继续推出系列增强模型，包括编程增强版、多模态智能体以及视频生成模型。