北大提出首个复数大模型，2比特量化，推理仅加法，可手机部署！

北大团队提出iFairy方案，将模型权重量化到复数集合，用2比特表示，压缩至原本1/8。推理仅需加减或交换数据位置，成本更低。Transformer架构“复数化”，iFairy模型PPL降10%，性能反超全精度，相关成果已开源。

o4-mini暴击六大数学天团，攻破陶哲轩难题！4.5h激战人类阵地失守

Epoch AI团队举办竞赛，约40位数学精英分成8组与o4 - mini - medium在FrontierMath基准上对决。o4 - mini击败6组团队，虽未完全超越人类，但Epoch AI预测到2025年底AI可能超30% - 50%人类基准。

深度剖析 MCP SDK 最新版： Streamable HTTP 模式正式发布，为你实测揭秘

MCP SDK 新版本 v1.9.0 发布，新增 streamable HTTP 传输模式。本文对该模式全面剖析与实测，涵盖快速上手、核心参数、session - id 等内容，还介绍开发服务端及多应用实例模式，指出新模灵活性提升但有不足。

本文关注vllm V1中管控模型分布式推理的Executor部分，介绍其类型、Executor-Workers架构及数据传输机制，对比V0架构优势，以单机多卡的MultiprocExecutor为例展开讲解，还提及不同数据量的传输方式及相关代码。

Claude 通过率不到 4%，SaaS-Bench 撕碎了 Computer-Use 的「全自动办公」幻想

UniPat AI用SaaS - Bench测试，让Agent在真实工作环境中执行任务。结果显示，Claude Opus 4.7端到端完全通过分数仅3.8%，多数模型表现差，还暴露Agent四种致命缺陷，揭示其与真实工作能力有巨大鸿沟。

Skill 和 CLI：经验指导能力，能力丰富经验

本文以作者自身使用飞书和 YouMind 工具的经历为例，探讨了 CLI 和 Skill 的关系，指出它们并非上下级，而是像菜谱和菜刀，相互配合。官方设计也体现了二者深度咬合，还给出使用判断口诀及 Skill 链玩法。

被员工怒怼“磕了”，追觅CEO：我有肚量；AI恋人陪聊涉黄被判刑，2.4万人付费；马斯克、奥特曼又开撕｜AI周报

本周AI热点众多，有AI恋人陪聊涉黄案二审，追觅CEO回应员工怒怼，携程涉垄断被查等行业事件；还有文心大模型5.0登顶国内文本榜、字节跳动发布SeedFold等大模型进展；以及苹果、谷歌等企业的应用合作动态。

Q2 GPU市场，英伟达独占94%，AMD被逼上绝路？

权威机构JPR报告显示，2025年Q2全球PC用GPU出货量环比增8.4%，CPU出货量也同步增长。这是关税恐慌引发的‘囤货潮’所致。英伟达在GPU领域优势巨大，AMD在CPU战场表现出色，三家旗舰产品各有特色。

WAIC抢先爆料：金融“黑马”大模型超DeepSeek刷新SOTA，论文已上线

WAIC期间，蚂蚁数科金融推理大模型发布会未开，论文已上线。其新模型Agentar - Fin - R1有8B和32B版，在金融测评集超DeepSeek等，还兼顾专业与通用，蚂蚁数科还提出评测基准Finova。

2个人不到1年做到月入百万，这个AI网文创业故事太疯狂了！

本文讲述猛哥的AI网文创业故事，他和合伙人不到一年实现月入百万。介绍其从0到1的过程，包括选赛道、精简创业、社群运营、构建提示词生态等，还分析了增长和盈利模式及难以复制的原因。