Elon Musk 的 xAI 公司于周一深夜宣布推出 Grok-3,这是该公司大语言模型家族的最新成员。
该公司表示,这个 AI 模型相比其前代 Grok-2 实现了重大突破,加入了"推理模型"以模拟人类思维。
在直播发布会上,xAI 的研究人员表示,Grok-3 的训练使用了比 Grok-2 多 10 到 15 倍的计算能力。该公司于 9 月份推出了一个名为 Colossus 的大型超级计算机训练系统,配备了 100,000 个 Nvidia 公司的 H100 图形处理单元,专门用于推出 Grok 的新版本。
"Grok-3 的整体表现独具一格," CEO Elon Musk 在发布会上表示。他声称根据早期测试结果,该模型在数学、科学和编程方面的表现超过了 OpenAI 和中国 DeepSeek 的模型。
Grok-3 包含两个主要推理模型:Grok-3 Reasoning beta (一个大型复杂模型) 和 Grok-3 mini Reasoning (一个能快速生成答案的小型快速模型)。在 xAI 的聊天机器人中启用这些模型后,它们会在处理复杂的科学、数学和编程问题时展示其"思考"过程,进行逐步推理。
此次发布恰逢其他公司开始推出推理模型,这些模型能将复杂任务分解为更小的任务,并在提供解决方案前进行自我事实核查。这样做的目的是提供更好的结果。竞争对手开发的类似模型包括 OpenAI 的 o1 和 o3-mini reasoning、DeepSeek 的 R1 以及 Google 的 Gemini 2.0 Flash Thinking Experimental。
"我们需要强调这是一个测试版,这意味着一开始可能会有一些不完善之处,但我们会快速改进,几乎每天都会更新," Musk 补充道。
用户可以启用"Think"功能来使用 Grok-3 模型的推理能力。对于更难的问题,他们可以激活"Big Brain"模式,xAI 表示这最适合处理涉及数学、科学或编程推理的复杂查询。
Grok-3 的推理模式还可以与名为"DeepSearch"的搜索功能配合使用,虽然需要更长时间,但模型会扫描互联网寻找相关知识并将其整合到答案中。xAI 表示使用 DeepSearch 将获得更相关、更详细的回答。
增加这种深度互联网研究能力意味着 xAI 的模型将加入拥有类似功能的竞争对手行列,包括 OpenAI 和 Google。AI 搜索引擎创建者 Perplexity AI 公司在提供搜索答案时直接将深度互联网研究融入其服务中。
Grok-3 还将获得语音模式,允许其用语音回答查询。虽然该功能在发布时尚未推出,但 Musk 表示将在一周左右内推出。Musk 补充说,Grok 的语音模式不仅仅是语音转文本,它将能理解语调、语气和节奏,"就像与真人对话一样"。
好文章,需要你的鼓励
由贝索斯共同领导的普罗米修斯项目已收购AI初创公司General Agents。该公司开发了名为Ace的AI智能体,可自主执行视频编辑、数据复制等计算机任务。General Agents基于视频语言行为架构开发模型,这与普罗米修斯项目专注制造业AI系统的目标高度契合。收购完成后,普罗米修斯团队已超过100人,预计将推进工业机器人领域的AI应用发展。
斯科尔科技学院联合俄罗斯多家研究机构开发出革命性的多语言AI虚假信息检测技术。该研究构建了覆盖14种语言的大型数据集PsiloQA,通过"诱导AI说谎"的创新方法自动生成训练样本,成本仅为传统人工标注的数十分之一。实验证明多语言训练的检测模型性能显著优于单语言模型,为全球AI可信度监督提供了实用解决方案。
Kagi公司发布Orion浏览器1.0版本,这是一款专为苹果平台设计的全新浏览器。该浏览器主打极速浏览体验和用户隐私保护,完全免费使用并附赠200次Kagi搜索。Orion还提供月费5美元的付费订阅服务,解锁更多高级功能。未来计划包括更深度的自定义选项和性能优化。
NVIDIA研究团队发现,训练机器人最有效的方法竟然是最简单的:直接用普通文字告诉机器人该做什么,而不需要复杂的编码系统。他们开发的VLA-0系统在标准测试中超越了所有复杂方法,平均成功率达94.7%,在真实机器人测试中也比预训练系统高出12.5个百分点。这项发现挑战了"越复杂越好"的传统观念,可能加速智能家用机器人的普及。