标签: AI

清除筛选

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 在博客上写了一篇长文,标题是…

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

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