最新文章

    KTransformers:单 GPU 跑 671B MoE 模型的清华方案
    KTransformers:单 GPU 跑 671B MoE 模型的清华方案

    6710 亿参数的 DeepSeek-V3 跑在单张 RTX 4080(16GB VRAM)上,解码速度超过 20 tokens/s——这是清华大学 MADSys 实验室开源的 KTransformers 项目给出的成绩。该项目于 2025 年 10 月在 SOSP(ACM 操作系统原理研讨会)发表,迄今 GitHub 收获 18,800+ stars,已成为本地部署超大 MoE

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

    QwenTeam 发布 Qwen-Image 系列第三代图像生成基础模型 Qwen-Image-3.0,核心定位用一个字概括:实。

    这个"实"体现在三个维度:内容丰实细节真实知识厚实

    内容丰实:4.5k token 输入,九宫格一次生成

    Qwen-Image-3.0 将可接受的指令长度提升至 4.5k token,这意味着模型可以理解和渲染极其复杂、信息密集的视觉版面。

    官方展示了一张九宫格信息图,包含隧道安全漫画、空间几何教学、出师表文体分析、物理抛体运动、生物寄生虫科普、右胸疼痛医学图

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

    2026 年 7 月 20 日,世界杯决赛正踢得胶着。数学家 Levent Alpöge 发了一条推文——Claude Fable 找到了 Jacobian 猜想的一个反例。87 年的公开问题,反例只有一行多项式。

    同一天,剑桥数学家 Kevin Buzzard 在博客上写了一篇长文,标题是 "Human mathematicians are being outcounterexampled"(人类数学家正在被反超)。他整理了两个月内发生的三件事:

    • 5 月 20 日:ChatGPT 构造了 Erdős 单位距离猜
    OpenSEO:5800 Star 的开源 SEO 工具,10 美元/月挑战 Semrush 与 Ahrefs
    OpenSEO:5800 Star 的开源 SEO 工具,10 美元/月挑战 Semrush 与 Ahrefs

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

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

    AI 编码工具的碎片化问题正在加剧。Claude Code 订阅限额耗尽后得切到 Codex,Codex 也不够用时还得翻 DeepSeek——每换一个提供商就要改配置、换 API Key、重启工具。开发者每天在十几个 AI 服务的仪表盘之间反复横跳,还要提防月底账单跳闸。

    OmniRoute 试图用一个本地代理终结这个局面。这个 MIT 协议的开源项目(GitHub 21k+ Star,日增 1343 Star)是一个智能路由网关:你在本地跑一个 http://localhost:20128/v1 端点,所有 AI 编码工具(Claude Code、Codex、Cursor、Cline

    Fastjson 1.x 无 gadget RCE 漏洞:终版沦陷且无补丁可修
    Fastjson 1.x 无 gadget RCE 漏洞:终版沦陷且无补丁可修
    Fastjson 1.x 曝出无 gadget 高危 RCE 漏洞

    安全研究员 Kirill Firsov(安全团队 FearsOff 成员)于 2026 年 7 月 19 日披露了一个新的 Fastjson 远程代码执行漏洞。该漏洞影响 Fastjson 1.2.68 至 1.2.83 全部版本,1.2.83 是 Fastjson 1.x 系列的最终版本。

    ![Fastjson GitHub 仓库已于 2024 年 10 月归档](https://linlog.top/api/uploads/2026/07/1784559548397785310-c0815b33346eaece.

    Hugging Face 安全事件分析:AI 智能体攻击与不对称困境
    Hugging Face 安全事件分析:AI 智能体攻击与不对称困境
    Hugging Face 安全事件分析:AI 智能体攻击与不对称困境

    2026 年 7 月 16 日,全球最大的 AI 开源平台 Hugging Face 发布了一份安全事件披露报告。这次入侵的特殊之处在于:攻击方使用了自主 AI 智能体框架驱动整个攻击链路,而防守方同样依赖 AI 进行检测和取证。事件过程中暴露出一个此前被业界讨论但尚未在实践中遇到的问题——商业大模型的安全护栏

    AI 代码审查的 token 困境:code-review-graph 如何用代码图谱砍掉 98% 的上下文
    AI 代码审查的 token 困境:code-review-graph 如何用代码图谱砍掉 98% 的上下文

    AI coding agent 在做代码审查时,最浪费的不是算力,是 token。一个中等规模的 Python 项目(比如 Flask)全量喂给模型,消耗 125,022 个 token;而 code-review-graph 这个开源工具给出的答案是:你只需要读 1,986 个 token 的精准上下文就够了。

    这个差距是 71.4 倍。在 FastAPI 这种更大规模的项目上,差距拉到 528 倍。

    ![code-review-graph 架构流程](https://linlog.top/api/uploads/2026/07/1784542640291797897-6f59f87f5

    华为天才少年的开源AI Agent全书:6700星、十章、可跑实验代码
    华为天才少年的开源AI Agent全书:6700星、十章、可跑实验代码

    GitHub 上最近冲上 Trending 榜首的 bojieli/ai-agent-book,两天内收获超过 1700 颗星,总星标突破 6700。这不是又一个 Demo 项目或 API 封装库——它是一本完整的技术书:李博杰所著《深入理解 AI Agent:设计原理与工程实践》,全书正文、配图、编译版 PDF 和按章配套的实验代码全部开源。

    作者的身份本身就是这

    北欧健走5周内显著缓解抑郁:64人随机对照试验
    北欧健走5周内显著缓解抑郁:64人随机对照试验

    抗抑郁药通常需要 2 到 6 周才能看到明显效果。在这段等待期里,患者往往处于最痛苦的状态。一项发表于《情感障碍杂志》(Journal of Affective Disorders)的随机对照试验发现,监督式北欧健走训练在 5 周内就产生了大幅度的抑郁症状改善,基线抑郁程度越重的参与者,改善速度越快。

    研究设计

    研究团队由法国克莱蒙奥弗涅大学的 Clément Ginoux 领导,招募了 64 名中度至重度