顶级大模型在AAI提出的FormulaOne基准集体翻车：三层难度递进，GPT-5进阶题仅约4%正确，最深层零分；Grok 4、o3 Pro全部失手。该基准以图上MSO逻辑与动态规划生成问题，贴近路径规划等现实优化，旨在衡量超越竞赛编程的算法推理深度。
什么情况，帮马斯克训练大模型的人说失业就失业了？上周四晚，xAI内部上演了一场突袭测试，还要求员工必须在第二天早上之前完成并提交。这可不是一次简单的随堂测试——截至目前，本次xAI内部测试的淘汰率高达33%，已有超过500名员工被通知卷铺盖走人。
最强不敢说，但最快实锤了！ 刚刚，xAI发布Grok 4 Fast，生成速度高达每秒75个 token，比标准版快10倍！ 从下面的动图中，我们可以直观地看出差距——当左边的Grok 4还在说“让我想一下的时候”，Grok 4 Fast已经在说：“下一个问题是什么了。”
表面上，AI正在狂飙突进；但背后，却是一群「看不见的人」在默默撑起这场科技竞赛。马斯克的xAI大规模裁员转型专家标注，谷歌外包工人被迫处理负面暴力内容。AI是靠无数普通人的劳动堆出来的。
近日，微软旗下的协作式编程平台 GitHub 正深化与埃隆·马斯克旗下 xAI 公司的合作，将 xAI 的 Grok Code Fast 1 大型语言模型（LLM）的早期使用权整合到 GitHub Copilot 中。
硅谷炸锅了！xAI创始工程师卖掉700万美元股票后，涉嫌窃取Grok核心代码库「叛逃」OpenAI，马斯克怒发推文「他下载了整个xAI代码库」。这场价值数十亿美元的叛逃案，已在加州法院开打。恩怨升级，马斯克 vs OpenAI，谁将笑到最后？
Grok首个编码模型终于来了！从0构建，编程实力超强，直接冲进SWE-bench前五，仅次于OpenAI Codex-1。背后核心团队同时被爆出，华人学者占多半。
“生命不息，折腾不止”，全球首富马斯克一直在身体力行地践行这句话。在不久前刚折腾完“DOGE”后，最近他又盯上了苹果。本月初马斯克突然对苹果发起猛烈抨击，指责后者App Store排行榜偏向OpenAI，从而降低了以自家Grok为代表的其他AI应用的曝光机会。
速度比 GPT-5 快三倍，便宜六倍。 本周四，马斯克的 xAI 正式推出了旗下的最新代码模型 Grok Code Fast 1。
刚刚，马斯克xAI加入Coding战局：推出智能编程模型Grok Code Fast 1。Fast写进名字里，新模型主打的就是快速、经济，且支持256K上下文，可在GitHub Copilot、Cursor、Cline、Kilo Code、Roo Code、opencode和Windsurf上使用，还限时7天免费！
