开源

27 published articles

开源3 min read

AI 编程助手

Opencode 引入标签页导航，为开发者带来更流畅的工作流

Opencode 现在支持标签页导航，使开发者无需丢失上下文即可在多个智能体会话和代码审查之间切换。该功能解决了用户在同时执行多个代码生成任务时常遇到的痛点。

2026-07-16

开源Featured5 min read

特别报道 / 边缘AI

Nvidia DeepStream 开源：9.1版本对边缘AI意味着什么

Nvidia DeepStream视频分析SDK的完整源代码现已在GitHub上以Apache 2.0和CC-BY-4.0许可证发布，向更广泛的开发者开放了边缘AI开发。9.1版本引入了基于LLM的编码代理、Triton推理服务器集成以及用于端到端流程的整合仓库。

2026-07-16

人工智能4 min read

AI基础设施

Ollama的“85%财富500强”数据是每家AI供应商正在玩的相同把戏

Ollama 8800万美元融资以“85%的财富500强公司使用”这一数据开头，听起来像是市场饱和，但几乎证明不了什么。本文分析为何这一特定举动已成为AI基础设施融资公告的默认开场白，以及真正推动资金流入开放权重推理的因素。

2026-07-14

人工智能2 min read

File over config

Vercel 发布 Eve 0.22：一款基于文件系统的 AI 智能体框架

Vercel 的 Eve 0.22.6 为 AI 智能体开发带来了基于文件系统的结构：指令、工具、技能和集成均以可检查的文件形式存在，支持多模型、人工介入提示以及子智能体编排。

2026-07-14

人工智能1 min read

Funding round

Ollama 融资 8800 万美元，推动开源模型成为专有 API 的替代方案

Ollama 融资 8800 万美元，用于发展其本地运行开源权重模型的平台，该平台拥有 890 万开发者，并且 85% 的财富 500 强公司都在使用。投资者包括 Benchmark、Theory Ventures、8VC 和 Y Combinator，Docker 创始人 Solomon Hykes 担任顾问。

2026-07-14

大语言模型与模型3 min read

遥感AI

更智能的标记化技术将卫星AI成本削减三倍，同时不损失精度

Ai4earth的OlmoEarth v1.1通过更智能的标记合并技术，在卫星图像分析中将计算成本较v1降低多达3倍，同时保持性能。更新后的模型使合作伙伴能以更低成本实现行星尺度的地图刷新。

2026-07-13

大语言模型与模型4 min read

Lean 4

Leanstral 1.5证明AI定价的旧规则不适用于数学

Leanstral 1.5，一款拥有6B活跃参数的模型，在miniF2F上达到饱和，解决了587道PutnamBench问题，并发现了开源仓库中5个此前未报告的错误。每解决问题成本约4美元，比Seed-Prover便宜75倍，比Aleph Prover便宜15倍，挑战了形式验证需要巨大计算预算的假设。

2026-07-12

开源4 min read

开源