「可验证智能」共找到 7238 篇相关文章
Google开源Workspace CLI，让AI在终端操作办公全家桶
Google开源Workspace CLI项目，把全套办公工具装进命令行。它动态构建命令结构，输出为结构化JSON。内置超100个Agent Skills，支持多MCP客户端，认证灵活，还集成Gemini CLI扩展。
AI Agent搞定世纪首次菲尔兹奖成果形式化！一周时间独立完成，20万行代码已公开
Math公司的AI Gauss用5天完成原本需6个月的菲尔兹奖级数学成果形式化证明，一周搞定24维情形，还修正原论文错误。其创始人是xAI联合创始人Christian Szegedy，代码已公开。
AI编程的下半场来了？学会用Agent Skill解决编程的痛点问题
文章分享用 Agent Skill 解决 AI Coding 痛点的实操复盘，如让代码上线、解决 AI 不用 Skill 问题。介绍 Skills 原理、CloudBase Skills 优势及与 MCP 组合，还给出实战案例、踩坑经验和未来规划。
我在手机上也能操作AI OS
作者介绍其AI操作系统，由OpenCode加newtype Profile插件及内容仓库构成。此前只能桌面端操作，现通过OpenCode服务器模式和Discord bot，实现手机与系统打通，让记忆资产随时可用，提升内容生产效率。
五源投资人笔记：Agent 是新生命，它今天很饿｜5Y View
五源投资人石允丰认为，Agent是新生命，以OpenClaw为例，它持续运行，有心跳、记忆等特征且消耗大量token。这引发AI市场“双链分裂”，代谢链潜力大，还带来可靠性、编排等投资机会。
腾讯把IMA知识库开源了！WeKnora支持Agent调用、MCP协议扩展，企业级RAG零成本落地
腾讯开源WeKnora，这是面向复杂异构文档的LLM框架，走完整RAG流程。它有Agent模式，支持多种知识库类型和格式，有Web UI。适合公司、研究者、开发者等，还给出了上手步骤和部署提醒。
7.3K Star！港大开源神作，集问答、可视化、出题于一身的 AI 超级导师！
香港大学 HKUDS 开源的 DeepTutor 是爆火的个人学习助手，集文档问答、可视化讲解、智能出题、深度研究于一体，解决自学痛点，还给出了快速入手步骤。
包含一个 75+ AI 工程项目！所有内容100%开源
此 GitHub 仓库含 93+ 生产级 AI 项目，覆盖大语言模型、RAG、Agent 等主题。有不同难度项目及教程，适合各水平人士，还给出新手入门学习路径，采用 MIT 许可。
meta收购manus的几点看法
探讨Meta收购Manus双方视角。Meta认为Manus有销售前景，想全吃利润；Manus因无流量属性、壁垒低、天花板低等因素，被收购或是好选择，还提及编程工具效用问题。
华为新架构砍了Transformer大动脉！任意模型推理能力原地飙升
即便Transformer是AI世界基石，但遇到复杂数学题或多步逻辑推理时表现不佳。问题出在Attention机制。华为诺亚方舟实验室推出Nexus高阶注意力机制架构，能提升模型推理能力，且参数零增。