「可验证推理」共找到 6156 篇相关文章
Google开源Workspace CLI，让AI在终端操作办公全家桶
Google开源Workspace CLI项目，把全套办公工具装进命令行。它动态构建命令结构，输出为结构化JSON。内置超100个Agent Skills，支持多MCP客户端，认证灵活，还集成Gemini CLI扩展。
马斯克都惊呼太强！阿里Qwen3.5又一波端侧小模型发布
上周阿里发布Qwen3.5中等规模超强模型，现又推出端侧小模型，获马斯克称赞。其智能密度翻倍且原生多模态，各型号有Base版。不同参数模型性能出色，阿里布局完整生态链，开启智能化未来。
AI编程的下半场来了？学会用Agent Skill解决编程的痛点问题
文章分享用 Agent Skill 解决 AI Coding 痛点的实操复盘，如让代码上线、解决 AI 不用 Skill 问题。介绍 Skills 原理、CloudBase Skills 优势及与 MCP 组合，还给出实战案例、踩坑经验和未来规划。
我在手机上也能操作AI OS
作者介绍其AI操作系统，由OpenCode加newtype Profile插件及内容仓库构成。此前只能桌面端操作，现通过OpenCode服务器模式和Discord bot，实现手机与系统打通，让记忆资产随时可用，提升内容生产效率。
腾讯把IMA知识库开源了！WeKnora支持Agent调用、MCP协议扩展，企业级RAG零成本落地
腾讯开源WeKnora，这是面向复杂异构文档的LLM框架，走完整RAG流程。它有Agent模式，支持多种知识库类型和格式，有Web UI。适合公司、研究者、开发者等，还给出了上手步骤和部署提醒。
包含一个 75+ AI 工程项目！所有内容100%开源
此 GitHub 仓库含 93+ 生产级 AI 项目，覆盖大语言模型、RAG、Agent 等主题。有不同难度项目及教程，适合各水平人士，还给出新手入门学习路径，采用 MIT 许可。
meta收购manus的几点看法
探讨Meta收购Manus双方视角。Meta认为Manus有销售前景，想全吃利润；Manus因无流量属性、壁垒低、天花板低等因素，被收购或是好选择，还提及编程工具效用问题。
一句话画出整张架构图？这款 2k star 开源 AI 画板，真能帮你告别熬夜改流程图吗？
Smart Excalidraw是基于Excalidraw的智能绘图工具，用自然语言就能绘制专业图表。它能解决传统绘图语法难记、排版耗时等痛点，具备AI驱动、独创连接算法等功能，适合多类人群使用。
视觉生成的另一条路：Infinity 自回归架构的原理与实践
本文整理自字节跳动韩剑在AICon 2025北京站的分享，以Infinity为例介绍自回归视觉生成原理，对比其与扩散模型，展示Infinity升级方案成果，它在高分辨率文本到图像任务能与扩散模型竞争。
Meta打碎Transformer 8年铁律！改写AI最底层规则，模型首次冒出潜意识
Meta推出「自由Transformer」新模型，打破自2017年以来GPT模型核心规则，在解码器引入潜在随机变量Z，增加“潜意识”。仅增约3%计算开销，在多测试中超越大规模模型，或开启后自回归时代。