Grok 4 Heavy 在多个高难度学术测试中领先其他主流模型，显示出强大的逻辑推理、数学解题能力，是目前唯一一个在美国数学邀请赛（AIME25）中取得满分的AI模型。 商业应用初现端倪：Grok 4在AI自动运营模拟平台“Vending Bench”中实现同类模型中最高净收益表现，并被用于前沿生物医疗研究、金融分析、游戏开发等真实工作场景。

捷克总理菲亚拉当地时间星期三（7月9日）在一场直播的记者会上宣布，政府决定禁止公共行政机关使用DeepSeek提供的AI产品、应用、网页和网上服务等。

在海外社交媒体上，AI从业者纷纷表达着对这款来自中国AI产品的喜爱，有网友表示，Kimi Deep Researcher可能是用过的最好的深度研究模型，视觉效果出色。也有博主表示，对深度研究的能力和准确性印象深刻。 AI创业者Poonam Soni发文表示，ChatGPT已经落后，来自中国的Kimi发布的Researcher产品令人惊叹，是基于模型的Agent，而不是简单的工具套用。

所以，当Meta面临从AI大模型第一梯队掉队的危机时刻，扎克伯格毫不犹豫重金来打造这样的一支顶尖队伍，来让Meta重新跟上最前沿的进展，然后再去看能否创造milestone（里程碑）。而就像家辉说的，顶尖研究员重要，但带队的领导者更加重要，而我们看到 ...

马斯克的最贵模型Grok4，能碾压人类博士，但“三观不正”他没提,马斯克,希特勒,谷歌,grok,openai ...

在近日的一场直播盛会上，科技巨擘埃隆·马斯克震撼宣布，其最新研发的Grok 4人工智能模型已横空出世，自诩为全球学术领域内的AI巅峰之作，其处理学术问题的能力直逼博士水准。 这场发布会持续了53分钟，马斯克亲自上阵，向全球观众展示了Grok ...

有着“AI芯片霸主”称号的英伟达(NVDA.US)股价在周三再创历史新高并且一举成为全球金融历史上首家市值达到4万亿美元的公司，巩固了其在全球金融市场的最核心地位。英伟达股价在周三股价一度上涨近3%，创下164.42美元的历史新高，一度突破4万亿美元 ...

快科技7月10日消息，据媒体报道，马斯克旗下人工智能公司xAI正式推出新一代旗舰模型Grok 4，并宣称其为“世界上最强大的AI模型”。

【Grok4智能指数超OpenAI的o3】 根据 Artificial Analysis 公布的跑分结果，Grok 4 的智能指数为 73，作为对比，OpenAI 的 o3 模型为 70，谷歌 Gemini 2.5 Pro 模型为 70，Deepseek R1-0528 模型为 68 分，Anthropic Claude 4 Opus 模型为 64 分。

北京时间4月1日凌晨，OpenAI首席执行官萨姆·奥尔特曼（Sam Altman）在社交媒体X平台宣布：OpenAI将在未来几个月内发布一个“强大的带有推理能力的全新开放权重（open-weight）模型”。 这是自2019年发布GPT-2以来，OpenAI时隔六年首次宣布新的开放模型计划。 回顾过往，OpenAI虽然以“开放”命名，但自从GPT-3开始，逐步转向封闭。尤其是ChatGPT问世后， ...

微软与OpenAI之间复杂的关系即将迎来新的转折。媒体报道称，OpenAI计划最早于下周发布一款"开放权重"AI语言模型，这将是公司自2019年GPT-2以来首次推出开放权重模型，也是与微软签署独家云服务协议后的首个开放模型。此举可能对微软与OpenAI的合作关系构成新的考验。知情人士称，这款新模型具备与o3 ...

大数据文摘出品研究人员发现，只需一句“猫咪大部分时间都在睡觉”的普通句子，就能让先进的推理模型逻辑崩溃。论文地址：https://arxiv.org/pdf/2503.01781这项研究名为《Cats Confuse Reasoning ...