「计算功能主义」共找到 2239 篇相关文章
狂揽22.6k星！这个开源工具让你一键调用100+大模型，开发效率直接起飞！
LiteLLM是BerriAI团队开发的开源工具，通过标准化OpenAI格式API接口，能无缝调用100+主流大语言模型。有核心功能亮点，适用于多场景，还给出上手步骤，并与同类项目对比。
陶哲轩油管首秀：33分钟，AI速证「人类需要写满一页纸」的证明
陶哲轩油管首秀，借助AI 33分钟完成人类需写满一页纸的证明，全程“盲证”。他认为半自动化方法适用于技术性强、概念性弱的论证，还升级了数学证明助手，对其很满意。
秘塔 AI，悄咪咪上线「今天学点啥」App
作者受手机厂商将AI功能做成NFC卡片启发，提出把知识载体变成Agent的想法。秘塔AI观点与其不谋而合，还将「今天学点啥」做成独立App，可个性化学习，体验超预期。
实战指南：从零构建 MCP 架构下的 Agentic RAG 系统，无第三方MCP Server
五一期间作者用MCP架构从零实现Agentic RAG系统，分享MCP与Agentic RAG融合思考、架构设计，介绍MCP服务端和客户端实现，还做了端到端效果演示，指出架构优势及待优化处。
中科院开源PPT Agent，一键自动生成PPT智能体
中科院软件所等联合开源PPT Agent，它能分析参考幻灯片，按人类流程分两阶段生成PPT，有自我修正功能，测试显示在多维度优于现有方法，极大节省用户时间精力。
十四年的「管家」局，科沃斯这回把应用定义权交了出来
2026年世界机器人大会上，科沃斯董事长钱东奇提出「未来应用，由用户定义」。回顾过去，从2012年推「亲宝」到2026年发布「八界」，其发展有迹可循。当前，科沃斯推出创新方案和开源生态欲破具身智能难题。
不做手机缩小版：AI 健康记录迁到手腕，要跨过哪些工程鸿沟？
文章围绕HarmonyOS的穿戴应用，如‘小卡健康’等，探讨将AI健康记录迁移到手腕面临的工程挑战。介绍了应用场景、系统能力调用，以及从接口到产品可用需解决的问题，强调要以用户体验为导向进行产品优化。
Agent 基建不是设计出来的，是被 Kimi K3 和一堆应用公司卷出来的
文章以 Kimi K3 模型及相关 agent 产品为例，讲述 TiDB 作为基建服务商，满足 AI 团队需求形成 Agent Stack。还指出 Agent 时代基建难题、数据库使用变化，以及创业团队做 Agent 业务的三个判断。
北大联合阶跃星辰提出TensorCast：统一可编程管理大模型张量，推理「首字延迟」最高降低93.2%
随着模型规模增长、新应用兴起，大模型基础设施面临管理「张量状态」挑战。北大、阶跃星辰与北邮联合提出 TensorCast，解耦张量状态，复用管理能力，在多场景测试中表现出色，为大模型基建提供新范式。
HTML正在成为 AI 办公的新载体？WorkBuddy 升级了一个关键能力
WorkBuddy升级“资料库”功能，普通用户不用写代码，用自然语言就能生成、编辑和发布HTML页面。用户能做书影音地图、播客可视化网站等，HTML可人机协同编辑，还能实现知识沉淀。