开源
20 published articles
遥感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
模型评估
Ai2发布olmo-eval：为LLM开发者提供每个检查点的显微级评估
Ai2的olmo-eval为活跃的LLM开发提供了每个问题的差异分析和模块化基准测试，帮助研究人员区分真正的进展与统计噪声。
2026-07-06
基因组医学
Talos展示自动化基因组重分析可在数周而非数年实现新诊断
Talos将基因组重分析重新定义为一项连续的自动化项目，而非罕见的偶发事件。在一个包含4735名未确诊患者的前瞻性队列中，它在新证据发表数周内获得了241项新诊断（额外发现率5.1%），同时要求分析师每月只需为每200名患者审阅一个新变异。
2026-07-05