06:15marktechpost@Asif RazzaqVibeThinker-3B是一个3B参数的MIT许可证推理模型,基于Qwen2.5-Coder-3B构建。该模型采用Spectrum-to-Signal后训练流水线。在可验证基准上,它匹配了DeepSeek V3.2和Kimi K2.5的性能。AI模型VibeThinker-3BQwen2.5-Coder-3BDeepSeek V3.2Kimi K2.5推理模型2 个信源在谈推荐理由:3B参数就能比肩DeepSeek V3.2和Kimi K2.5,基于Qwen2.5-Coder-3B开源,适合资源受限场景的推理任务。原文
13:55IT之家(博客/媒体)88°马斯克在推特上邀请用户测试 Cursor 最新 AI 模型 Composer 2.5,该模型基于月之暗面的 Kimi K2.5 训练,号称是 Cursor 最强模型。核心改进包括基于文本反馈的定向强化学习,能精准定位长任务中的错误步骤;合成任务规模扩大至 Composer 2 的 25 倍,并动态筛选更难任务。训练中使用了分片 Muon 与双网格 HSDP 等基础设施优化,单步耗时仅 0.2 秒。价格方面,标准版输入 0.50 美元/百万 token,输出 2.50 美元/百万 token;fast 版更贵但速度更快。AI产品CursorComposer 2.5Kimi K2.5强化学习编程助手10 个信源在谈推荐理由:Cursor 用户和 AI 编程重度依赖者值得关注——Composer 2.5 解决了长任务中错误定位的痛点,基于 Kimi K2.5 的强化学习让复杂指令执行更稳定,建议试试看能否提升你的编码效率。原文
11:46IT之家(博客/媒体)上海电信率先推出 Token 算力服务,成为上海首个发布 Token 资费套餐的运营商。套餐按量订购,1 元对应 25 万额度点,以 Kimi K2.5 大模型为例,约可支持 25 万输入 Tokens。用户可用话费账单支付,多买享折扣。上海电信手机号用户可免费体验 2500 万额度点(有效期一个月),6 月起“美好家”用户可享 Token 会员权益。用户购买额度点后,可通过标准 API 调用 30 余款主流大模型,集成到软件或自动化流程中。AI产品Token 资费上海电信Kimi K2.5API 集成算力服务推荐理由:运营商首次将 Token 作为可计费资源,降低了个人和中小企业使用大模型的门槛——用手机话费就能买算力,做 AI 应用开发或自动化脚本的团队可以直接用 API 集成,值得关注。原文