标签: 开源

清除筛选

Block 开源 Buzz:Nostr 上的 AI 协作工作空间

Buzz 工作区截图:人类与 AI Agent 在同一频道协作 2026 年 7 月 23 日,Block(前 Square)开源了一个名为 Buzz 的项目。两天内 GitHub star 从两千多飙升至近 6000,日均增长 3252 颗,成为本周 GitHub Trending 增速最快的仓库。Buzz 的定位一句话概括:一个自托管的工作空间,让人类和…

Gigatoken:比 HuggingFace 快 1000 倍的开源分词器

大语言模型训练的第一步是把文本切成 token。这个过程看似简单,实际上在万亿 token 级别的数据集上极其耗时。2026 年 7 月,斯坦福博士生 Marcel Rød 发布了开源分词器 Gigatoken,在主流 BPE 词表上实现了比 HuggingFace tokenizers 快 500 到 1000 倍的吞吐速度,比 OpenAI 的 tikt…

开源AINLP

AI 连破三大数学猜想:Jacobian 猜想 87 年反例与形式化验证的新时代

AI 连破三大数学猜想:从反证法看 2026 年的形式化数学革命 2026 年 7 月 20 日,世界杯决赛正踢得胶着。数学家 Levent Alpöge 发了一条推文——Claude Fable 找到了 Jacobian 猜想的一个反例。87 年的公开问题,反例只有一行多项式。 同一天,剑桥数学家 Kevin Buzzard 在博客上写了一篇长文,标题是…

OpenSEO:5800 Star 的开源 SEO 工具,10 美元/月挑战 Semrush 与 Ahrefs

OpenSEO 关键词研究面板截图 Semrush 最便宜的套餐每月 $130 起,Ahrefs 入门版 $129 起,功能完整的团队计划动辄 $250–$500/月。对于一个独立开发者或小型内容团队来说,这笔开销往往意味着要么咬牙订阅,要么用免费工具拼凑出一个残缺的工作流。OpenSEO 是一个 MIT 协议的开源项目,试图把完整的 SEO 工具链——关键…

OmniRoute:日增 1300+ Star 的开源 AI 网关,一个端点接通 250 个模型提供商

AI 编码工具的碎片化问题正在加剧。Claude Code 订阅限额耗尽后得切到 Codex,Codex 也不够用时还得翻 DeepSeek——每换一个提供商就要改配置、换 API Key、重启工具。开发者每天在十几个 AI 服务的仪表盘之间反复横跳,还要提防月底账单跳闸。 OmniRoute 试图用一个本地代理终结这个局面。这个 MIT 协议的开源项目(G…