15个本周Github上大模型等有趣的项目、工具和库1、Aider在终端中进行 AI 配对编程 Aider 是一个命令行工具，可让您将程序与 LLM 配对，以编辑存储在本地 git 存储库中的代码。 .

微软新的小语言模型 Phi-3-mini，它的性能让人震惊。尽管只有 30 亿个参数，但该模型功能强大，可以在各种任务中提供一流的结果。Phi-3-mini 的效率改变了游戏规则，使我们能够在本地运行.

OpenELM：具有开源训练和推理框架的高效语言模型系列OpenELM 使用分层缩放策略来有效地分配变压器模型每一层内的参数，从而提高准确性。我们使用CoreNet库预训练 OpenELM 模型。我们.

得益于 MLX Swift，Llama 3 已在 iPhone 上本地运行： Llama 3 在 iPhone 上运行的速度约为 8.5t/s， 它可以在 Android 上运行吗？回答是肯定的，可以.

Meta 几天前发布了 LLaMA 3 生成式 AI 模型，它已经显示出令人印象深刻的功能。通过此分步指南了解如何安装 LLaMA 3 并将其部署到生产环境中。从硬件要求到部署和扩展，我们涵盖了您顺利.

Phi-3-Mini-4K-Instruct 是一个 3.8B 参数、轻量级、最先进的开放模型，使用 Phi-3 数据集进行训练，其中包括合成数据和经过过滤的公开可用网站数据，重点是高品质和推理密集的.

苹果的下一件大事：设备上的大型语言模型。该公司正在探索一些 "下一个大事件 "项目，包括增强现实眼镜和个人机器人。不过，今年晚些时候，苹果将向更先进的人工智能领域进军，这将是一项更具挑战性的努力。在这.

Meta 仅在三天前发布了 Llama-3，感觉开源模型最终缩小了与专有模型的差距已经是一个拐点。初始基准测试显示 Llama-3 70B 在许多任务中与 GPT-4 非常接近： 官方Meta 页面仅.

谷歌的Griffin论文完美地展示了缩放定律。由于参数扩展了 7 倍，任务性能提高了大约 10%。全部都使用相同的 3000 亿代币数据进行训练。当您跨参数扩展时，模型会获得更高的样本效率或更好的推断.

Llama 3改变了LLM游戏。人们在GPT-4水平上发现了开源用例，在开源社区中有一场大规模的运动。10个例子（以及使用Llama 3的方法）：1.在Raspberry Pi 5上运行的Llama .

Meta发布迄今为止最有能力的开源大模型：Llama 3 要点： 此次发布 Llama（Meta Llama 3）的前两个型号，可供广泛使用。此版本具有经过预训练和指令微调的语言模型，具有 8B 和 .

本文探讨了开始使用 Claude 3 而不是 ChatGPT 的 5 个理由，强调了其先进的功能、增强的准确性和更广泛的上下文理解。无论您是技术专业人士、好奇的新手，还是介于两者之间，了解这些原因都可.

视频编辑世界正处于一场革命的风口浪尖。 Adobe 是拥有广泛使用的 Premiere Pro 软件的行业领导者，它正在探索与专门从事人工智能 (AI) 的尖端研究实验室 OpenAI 建立合作伙伴关.

比特币为啥有用？不是它本身用多少黄金 石油做标的，不是它本身指向了多少实在物质，而是有人使用它，只要被使用就有价值，而不在于该符号本身有多少价值。我们所说的 "成功 "是指当前的人工智能/LLM 能够.

视频编辑将像简单的文本提示一样简单。Adobe 的最新预告展示了多种令人兴奋的工具和主要集成，这可能会开创视频制作的全新时代。让我们探索一下……在近期人工智能概要中： Adobe 预览 AI 视频功能.

在过去的一年里，我们一直在开发 ALOHA Unleashed @GoogleDeepmind - 推动我们的 ALOHA 2 机群任务的规模和灵巧性。ALOHA Unleashed：用低成本机器人和.

Grok-1.5V能将“像素->动作”映射提升为“像素->语言->动作”。Tesla FSD v13可能会是Grokking语言令牌。Grok-1.5V最让人兴奋的是解决自动驾驶中边缘情况的潜力。使用.

今天，Devin 的一次新更新导致内部使用量比之前的记录翻了一番还多。今天，Devin 首次成为 Devin 代码库的最大贡献者...如果这是真的，这将是递归自我完善的重要一步，而这件事将会滚雪球般越.

埃隆·马斯克 (Elon Musk) 的使命是证明开源人工智能可以与最好的人工智能竞争，而 Grok 的最新升级刚刚向前迈出了一大步。凭借超越顶级模型的新多模态能力，xAI 正在悄悄地展现出自己是人工.

API Logic Server 是一个开源 Python 项目。它是一个用于项目创建的CLI，以及用于项目执行的一组运行时（SAFRS API、Flask、SQLAlchemy ORM、业务逻辑引擎.

人工智能聊天机器人的世界正在不断发展，而 Quora 的创意之作 Poe 则处于这一发展的最前沿。为了帮助创作者并加速创新，Poe为人工智能机器人创作者引入了按消息定价的收入模式。这意味着开发人员现在.

本周Github上有趣的项目、工具和库1、LLocalSearchLLocalSearch 是一个使用 LLM 代理的完全本地运行的搜索聚合器。用户可以提出问题，系统将使用一系列大模型来找到答案。用户.

谷歌这项研究引入了一种有效的方法，可以将基于 Transformer 的大型语言模型 (LLM) 扩展到具有有限内存和计算的无限长输入。一个关键组成部分是一种称为“无限注意力 Infini-atten.

这篇发人深省的文章基本上是在大声疾呼：机器人推理的通用智能AGI基础模型可能在今天就已经存在。 LLM 不仅仅关乎特定语言的能力，还关乎对广阔世界的理解。这篇文章介绍了一种名为“Keypoint Ac.

当今最先进的人工智能模型存在许多缺陷，但几十年后，它们将被公认为通用人工智能的第一个真实例子。什么是通用智能？早期的人工智能系统表现出人工的狭义智能，专注于单一任务，有时执行任务的能力接近或超过人类水.

Mistral 8x22B 模型已开源！Mistral AI发布262GB大小的新版本人工智能，：magnet:?xt=urn:btih:9238b09245d0d8cd915be09927769d5.

本文重新审视了奥林匹克级几何中自动化定理证明的挑战，特别关注 IMO-AG-30 基准。作者认为，Wu 的方法是一种代数方法，以前被认为不如 AlphaGeometry 等合成方法有效，但它表现出了令.

大模型正在迅速发展：1、谷歌发布了采用新 Griffin 架构的模型，其性能优于 Transformer在多个尺寸上，Griffin 在受控测试中的不同参数尺寸的 MMLU 得分以及许多基准的平均得分.