开源
74 published articles
File over config
Vercel 发布 Eve 0.22：一款基于文件系统的 AI 智能体框架
Vercel 的 Eve 0.22.6 为 AI 智能体开发带来了基于文件系统的结构：指令、工具、技能和集成均以可检查的文件形式存在，支持多模型、人工介入提示以及子智能体编排。
2026-07-14
AI基础设施
Ollama的“85%财富500强”数据是每家AI供应商正在玩的相同把戏
Ollama 8800万美元融资以“85%的财富500强公司使用”这一数据开头，听起来像是市场饱和，但几乎证明不了什么。本文分析为何这一特定举动已成为AI基础设施融资公告的默认开场白，以及真正推动资金流入开放权重推理的因素。
2026-07-14
遥感AI
更智能的标记化技术将卫星AI成本削减三倍，同时不损失精度
Ai4earth的OlmoEarth v1.1通过更智能的标记合并技术，在卫星图像分析中将计算成本较v1降低多达3倍，同时保持性能。更新后的模型使合作伙伴能以更低成本实现行星尺度的地图刷新。
2026-07-13
Lean 4
Leanstral 1.5证明AI定价的旧规则不适用于数学
Leanstral 1.5，一款拥有6B活跃参数的模型，在miniF2F上达到饱和，解决了587道PutnamBench问题，并发现了开源仓库中5个此前未报告的错误。每解决问题成本约4美元，比Seed-Prover便宜75倍，比Aleph Prover便宜15倍，挑战了形式验证需要巨大计算预算的假设。
2026-07-12
开源
Ai2 打开了AI柜子里的每一个抽屉，这是里面的内容
Ai2 发布了 Olmo 3，一个从 7B 到 32B 的完全开源模型系列，包括训练数据、代码和工具。此次发布强调了从预培训数据到后培训管道的整个模型生命周期的透明度，为开源AI研究树立了新标准。
2026-07-11
开源基础设施
你的AI搜索管道坏了，这个开源框架来修管道。
构建AI搜索基础设施的团队仍然在管道连接上耗费太多时间。Search Toolkit将摄入、检索和评估统一到一个单一的开源框架中，消除了拼接不同工具所需的数周集成工作。它专为RAG质量、领域特定检索和代理搜索等企业用例而设计。
2026-07-11
AI 智能体
OpenManus 终结了 AI 智能体的邀请码门槛：十分钟内即可运行
OpenManus 是一个开源的 AI 智能体框架，任何人都可以立即安装和运行：无需邀请码，无需花招，只需一个 Python 环境和 API 密钥。这就是为什么你需要它。
2026-07-11
开源机器人学
LeRobot v0.6.0：训练时构想未来，推理时零成本
LeRobot v0.6.0 引入了世界模型策略（在训练时构想未来，推理时消失）、新的奖励 API、六个模拟基准测试以及更快的数据加载。该框架旨在通过更精简的代码和云端训练选项，推动机器人学习的民主化。
2026-07-11
特别报道
Meta AI的开源赌注刚刚击碎了竞争对手的商业模式
马克·扎克伯格正投入数十亿美元押注一个理念：构建AI的最佳方式就是将其免费提供。这是一个关于领衔该前沿的实验室、人员、理念以及一场持久争论的故事。
2026-07-10
人工智能
英伟达新音频模型同时处理五大任务，专攻者在其领域反而落败
英伟达的 Audex 将音频理解、生成与文本推理统一于单一模型，在语音与音频基准测试上匹配或超越任务专用系统，且未牺牲文本性能。
2026-07-09
人工智能
DeepSeek-OCR 2 引入视觉因果流，开源文档理解再升级
DeepSeek-OCR 2 引入视觉因果流，实现类人视觉编码。该模型现已在 GitHub 上开源，支持 vLLM 和 Transformers，具备动态分辨率（最多 1,216 个视觉标记）及文档到 Markdown 的转换功能。
2026-07-09
人工智能
Kimi K2.7 Code更快更便宜，但开源编程撞上了名为GPT-5.5的墙。
月之暗面的Kimi K2.7 Code在长周期编程任务上取得显著进步，令牌浪费减少30%。然而GPT-5.5和Claude Opus 4.8在关键基准测试中仍保持领先，凸显了开源决策在实际应用中的权衡。
2026-07-09