在知名AI排行榜LM Arena中，曾全班垫底的GPT-4.5竟一度拿下第一？甚至在数学、编程等领域表现优异，这反常的表现让网友们一度质疑：大模型竞技场莫非被LLM操纵了？不过网友们在实测后却惊讶发现，GPT-4.5的确情商爆表，不用推理就能理解人类的深层意图！
DeepSeek R1 催化了 reasoning model 的竞争：在过去的一个月里，头部 AI labs 已经发布了三个 SOTA reasoning models：OpenAI 的 o3-mini 和deep research， xAI 的 Grok 3 和 Anthropic 的 Claude 3.7 Sonnet。
基础模型竞争又紧张刺激起来了！GPT-4.5刚登顶竞技场且全任务分类第一名，6小时后总榜就被马斯克的新版Grok-3反超。两者都是获得3000+票数，总分1412：1411只差一分。
当地时间2月17日，埃隆·马斯克旗下人工智能公司xAI直播发布新一代人工智能大模型Grok 3，马斯克直接说这是“地表最聪明AI”。 而更吸引国内观众注意的，则是直播画面里的几张华人面孔。据统计，xAI创始团队四成是华人，其中还包括一位浙江大学毕业的张国栋。
DeepSeek和xAI相继用R1和Grok-3证明：预训练Scaling Law不是OpenAI的护城河。将来95%的算力将用在推理，而不是现在的训练和推理各50%。OpenAI前途不明，生死难料！
2025年开年，全球AI战场硝烟弥漫。 ChatGPT悄然迭代至GPT-6，在DeepSeek横空出世、在多领域大展拳脚后，马斯克旗下的人工智能公司紧随其后重磅发布了Grok 3系列模型。
中美之间的AI竞赛，正朝着一个神奇的方向走去。
猜想界的皇冠——黎曼猜想，离被证明的那一天不远了。Grok 3便是关键所在：暴力计算+验证器能让AI穷举所有解法，再加上AI辅助科学家打出的组合拳，下一个诺奖级突破近在咫尺。
下周即将发布的AI汇总，太热闹了！Sam亲口宣布要下周发布，一些媒体也报道微软已经开始给GPT4.5和GPT5准备服务器昨天Claude网站更新了，有网友发现有一行提示“Try Anthropic‘s new thinking model”，这意味着Claude有新模型要发了！
官宣免费后，Grok火速登顶美区App Store榜首，同时，xAI也放出官方博文，秀了一把模型的数学、代码、ASCII Art演示。最引人瞩目的两位C位华人，均来自多伦多大学，分别和Hinton、Bengio有交集。
