「开源Agent」共找到 5081 篇相关文章
陶哲轩重写20年本科经典教材！Lean编程数学证明，GitHub已放出
陶哲轩迷上形式化数学证明，开设YouTube账号分享用Lean形式化证明的视频，还发布开源项目，将经典教材《Analysis I》定义、定理和习题「翻译」成Lean代码，项目可作学习资料，部分内容已完成翻译。
上手“设计界的Manus”，朱啸虎点赞，Lovart这波魔法破圈了丨TIP 002
国产出海产品Lovart被称为“设计界的Manus”，获朱啸虎点赞。它是设计领域首个Agent，能用自然语言驱动生成多模态视觉作品，可生成VI体系、短片等，适合文创领域，还能人工编辑，调用多模型。
居然 11.5K star 了，这个一人公司的秘密项目有啥魔力！
做自媒体和内容运营重复工作多、效率低。开源项目`AiToEarn`用AI+自动化整合内容创作、发布等环节，支持多平台，有11.5k+ star，还介绍了安装使用方法。
第一批用Clawdbot赚钱的人类出现，一晚上狂赚300万！全球金融变天了？
新智元报道，已有人类用Clawdbot集成到Polymarket一晚上狂赚49.3万美元，Moltbook上的Agent还发布供AI赚钱的指南。AI自建文明加速，未来赚钱是否带人类成疑问。
一个图形界面管好所有Win软件包，爽！
Win系统装软件易遇‘全家桶’，开发者管理包管理器繁琐。开源神器UniGetUI可聚合主流包管理器软件源，在清爽界面搜索、安装、更新和卸载软件，功能丰富，还提供多种安装方式。
NeurIPS Spotlight｜运动遮挡都不怕，0先验、一段视频精准预测相机参数
论文一作李放等为解决传统方法在动态场景预测相机参数的难题，提出 ROS - Cam 方法，涵盖补丁式跟踪滤波器、异常值感知联合优化、双阶段训练策略，代码即将开源。
世界最老程序员——这个91岁的老码农用AI 搞了个教会志愿者管理系统
91岁从未碰过代码的John Blackman，在孙子介绍下，用Claude和Replit的AI agents，仅两天就搭建出教会志愿者管理系统，还分享开发到生产的挑战及使用反馈。
秘塔 AI，悄咪咪上线「今天学点啥」App
作者受手机厂商将AI功能做成NFC卡片启发，提出把知识载体变成Agent的想法。秘塔AI观点与其不谋而合，还将「今天学点啥」做成独立App，可个性化学习，体验超预期。
千问负责人突然离职，阿里回应
3月4日凌晨，千问团队核心人物林俊旸突然宣布卸任，引发业内关注。其离职时间点较突然，且前后千问团队还有其他核心成员变动。3月5日，阿里巴巴CEO吴泳铭回应，称公司将坚持开源策略，加大AI研发和人才吸纳。
0.9B跑出90%真机成功率！上海交大为VLA补上空间感
上海交大MINT团队提出中间路线Evo - Depth，约0.9B参数，不额外增硬件负担，兼顾仿真与真机性能及部署效率。系统由IDEM、SEM等组成，代码等已开源。