「开源AI助手」共找到 11272 篇相关文章
双核发布！“幻镜”第四季+“微笑曲线”计划亮相广电媒体融合大会首创郎园2026年5月13日 15:57 北京 听全文
第六届中国（北京）广电媒体融合发展大会举行，首创郎园赵春燕发布“幻镜”AI视听测评季第四季及“微笑曲线”视听IP运营扶持计划。前者构建测评体系，后者打通视听IP全链路。
陶哲轩重写20年本科经典教材！Lean编程数学证明，GitHub已放出
陶哲轩迷上形式化数学证明，开设YouTube账号分享用Lean形式化证明的视频，还发布开源项目，将经典教材《Analysis I》定义、定理和习题「翻译」成Lean代码，项目可作学习资料，部分内容已完成翻译。
复杂的Harness Evolution，甚至不如多跑几遍
本文解读AI2与华盛顿大学最新研究，针对热门Agent Harness Evolution方向，通过公平对照实验检验方法真实收益，戳破研究误区，引发对Agent评估标准的反思。
Agent = Model + Harness，一个可能成为2026年出圈的新概念
文章提出新概念Harnesses Engineering，认为Agent = Model + Harness，阐述了Harness的作用、核心组件，还提及模型训练与Harness设计的耦合及Harness工程未来，指出需‘Harness思维’让AI驱动工业革命。
一个图形界面管好所有Win软件包，爽！
Win系统装软件易遇‘全家桶’，开发者管理包管理器繁琐。开源神器UniGetUI可聚合主流包管理器软件源，在清爽界面搜索、安装、更新和卸载软件，功能丰富，还提供多种安装方式。
刚刚，Anthropic紧急换帅！新任CTO执掌算力命脉，直面OpenAI千亿赌局
Anthropic宣布任命前Stripe CTO Rahul Patil为新任CTO，原CTO Sam McCandlish转任首席架构师。此次换帅是为强化AI基础设施，应对Claude产品压力及OpenAI、Meta的竞争。
NeurIPS Spotlight｜运动遮挡都不怕，0先验、一段视频精准预测相机参数
论文一作李放等为解决传统方法在动态场景预测相机参数的难题，提出 ROS - Cam 方法，涵盖补丁式跟踪滤波器、异常值感知联合优化、双阶段训练策略，代码即将开源。
安全噩梦：Docker 警告 MCP 工具链中存在的风险
Docker 发文警告，基于 MCP 构建的 AI 开发工具存在安全漏洞，如凭证泄露、代码执行等。MCP 协议发展快但部分实现有隐患，Docker 分析发现诸多漏洞，还提出强化方法应对。
在 OpenClaw 的冲击下，Cursor 已经要过时了
Insight Partners 联合创始人 Jerry Murdock 接受访谈，认为自主 Agent 是 AI 浪潮核心，Cursor 已过时。还提到会有自主 Agent 专属技术栈，软件未来将由 Agent 购买，劳动力市场会受冲击，现在是创办新基金的最佳时机。
同样的模型，Claude Code凭什么比Codex强
文章探讨决定 Coding Agent 能力的 6 大核心组件。指出如今旗舰模型‘裸机’能力相近，真正拉开体验差距的是 Harness 工程质量，还开源 Mini Coding Agent 实现六大组件。