标签: 开源

清除筛选

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…

Qwen3.8 发布:2.4T 参数、原生多模态、开放权重承诺

Qwen 3.8 神经网络可视化 7 月 19 日,阿里巴巴通义千问(Qwen)团队在 X 平台发布 Qwen3.8,宣称参数规模达到 2.4 万亿(2.4T),并承诺将开放权重(open-weight)。这是 Qwen 家族首次有模型突破万亿参数门槛并具备原生多模态能力。Qwen 团队将其定位为"仅次于 Anthropic Fable 5 的最强模型"。…