「可验证计算」共找到 5250 篇相关文章
Jina-VLM：可在笔记本上跑的多语言视觉小模型
Jina AI 发布 2.4B 参数量的视觉语言模型 Jina-VLM，在多语言视觉问答任务达 SOTA。它引入注意力池化，连接视觉与语言基座，支持 29 种语言，能高效处理问答等任务，对硬件需求低。
两份报告，两种 PMF：ChatGPT 跑通了 Copilot，Claude 验证了 Agent
OpenAI和Anthropic发布核心产品使用报告，展现ChatGPT和Claude用户心智差异。ChatGPT像Advisor，以询问、写作为主；Claude似Agent，随模型能力提升，用户倾向用其执行自动化任务。
微软开源新版Phi-4：推理效率暴涨10倍，笔记本可运行
今天凌晨微软官网开源Phi - 4家族最新版Phi - 4 - mini - flash - reasoning，它参数小性能强，适合边缘设备。采用自研SambaY架构，推理效率涨10倍，延迟降2 - 3倍，多场景测试表现优异。
OpenAI久违发了篇「正经」论文：线性布局实现高效张量计算
OpenAI 近日发布研究论文，提出用于高效张量映射的统一代数框架 Linear Layouts，解决了 Triton 等深度学习编译器中长期存在的难题。该框架是使用二元线性代数的张量布局通用代数形式，评估显示其优化版 Triton 性能有提升。
港科联合港中文提出AdaCtrl，自适应可控Reasoning，可降10~90%
港科联合港中文提出AdaCtrl，解决LLM推理的过度思考、算力浪费和响应延迟问题。它有自适应和用户控制两种模式，通过两阶段训练法实现目标，实验效果好，未来或拓展到多领域。
微软开源浏览器Agent，可实时跟踪、控制智能体，超4000颗星
微软在官网开源用于浏览器网络任务的Agent——Magentic - UI，基于Magentic - One开发，支持人机协同。GAIA测试显示其能提升任务完成率和准确率。它以人为本，有独特机制，框架含多阶段，在Github超4000颗星，支持MIT许可证商用。
880 万粉的胡楚靓，带火了 AI 工作台，人人可拥有定制 App?
穿搭网红胡楚靓引领用AI做适合自己工作台的热潮，粉丝创意十足。文中介绍胡楚靓工作台及配置抓取功能方法，还展示粉丝做的旅游、美食等多种工作台，最后给出新手落地操作办法。
全球第一！ 中国模型登顶榜首，首个可编辑AI语音来了
中国AI语音ViiTorVoice登顶全球语音权威评测榜单Seed - TTS，首创「局部编辑」能力，解决语音无法局部编辑痛点。实测效果惊艳，还具备精准情绪控制、无参考文本克隆等能力，部分模型已开源。
DeepSeek被曝融资20亿…可幻方一年就挣50亿啊？
DeepSeek被曝计划首次融资，目标估值超100亿美元，计划融资至少3亿美元。但此前多次融资传闻均被辟谣，且其母公司幻方量化盈利能力强。若融资，或为锚定股权价值、激励人才及获非财务价值。
Agent新王诞生！Hermes 7周追上龙虾，中国用户可微信直连
2026年二季度，Hermes Agent成新潮流，由美国Nous Research开源，其GitHub stars数达84.4k。国内云厂商支持部署，手机厂商接入并限免。它原生支持微信，开发者评价高，与OpenClaw双雄并立，正掀起生产力革命。