标签: AI

清除筛选

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

Qwen-Image-3.0 发布:追求实用的图像生成

Qwen-Image-3.0 发布:追求实用的图像生成 QwenTeam 发布 Qwen-Image 系列第三代图像生成基础模型 Qwen-Image-3.0,核心定位用一个字概括:实。 这个"实"体现在三个维度:内容丰实、细节真实、知识厚实。 内容丰实:4.5k token 输入,九宫格一次生成 Qwen-Image-3.0 将可接受的指令长度提升至 4.…

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

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