近日，科技界迎来了一则震撼人心的消息：特斯拉及SpaceX的CEO埃隆·马斯克宣布，其团队成功研发出名为Grok 4的“全球最强AI模型”。据马斯克介绍，Grok 4首次让人工智能具备了解决真实世界中极为复杂且难以攻克工程问题的能力。 Grok ...

IT之家 7 月 10 日消息，据路透社今日报道，非营利机构 METR 的最新研究发现，和大家普遍认为的相反，经验丰富的软件开发者在使用最先进的 AI 工具辅助熟悉的代码库时，反而变得更慢，而不是更快。

我们和张桐的对话发生在得帆位于上海西岸AI Tower的办公室，这栋楼里，既有发展得如日中天、位列大模型“六小虎”之一的阶跃星辰，也有年初爆发裁员、停薪事件的澜码科技。一上一下，让AI大浪淘沙的残酷，显得直观又现实。

为啥？因为一切如果是真的，那实在有些离谱。Anysphere的A轮融资发生在2024年8月，当时他们以4亿美元的估值融资了6000万美元，投资方是A16z、Thrive Capital和Stripe的联合创始人帕特里克·科里森（Patrick Collison）。Anysphere则发生在2024年12月，他们以26亿美元的估值，融资了1.05亿美元，投资方同样是Thrive ...

埃隆·马斯克在一次备受瞩目的发布会上，亲自推介了其人工智能公司xAI的最新成果——Grok 4，一款据称在智能水平上已超越博士生的聊天机器人。

当行业还在追逐层出不穷的 AI 框架时，Cursor、Perplexity、Lovable 等明星产品却反其道而行，用最底层的基本单元“搭积木”式地构建 ...

在深入探讨之前，我们有必要了解当前AI开发中的一些基本困境。随着技术的迅速发展，新的模型和架构几乎每周都在涌现。开发者们本以为依赖框架可以简化开发过程，然而，事实却并非如此。著名的Langbase创始人兼CEO Ahmad Awais在一次演讲中指出，传统的框架往往臃肿、迭代缓慢，无法跟上技术的变革。

作者｜华卫、冬梅时隔 5 个月，Grok 终于再次“更新换代”。这次，xAI 不仅直接跳过了 Grok 3.5，而且并非只发布一款模型。今天刚发布的是通用模型 Grok 4，能够处理常规任务并进行对话。接下来的三个月时间里，xAI ...