「定理证明模型」共找到 7989 篇相关文章
终于，清华团队养出一只能「断网干活龙虾」！两栖版智能体杀疯了
国内「龙虾」市场分化为「云端API派」和「本地模型派」，用户面临成本与安全难题。面壁智能发布EdgeClaw Box，联合开源EdgeClaw框架，以「端云两栖」破局，在多场景展现优势。
智谱 AutoClaw 深度测评：一键把电脑变成 AI Agent，是神器还是半成品？
本文深度测评智谱最新推出的桌面应用AutoClaw。它宣传能让电脑成AI Agent，引发两极评价。文章从安装、界面、功能、成本等方面测评，指出其优缺点，认为虽不完美但方向值得肯定。
人形机器人「网球运动员」来了！不靠预编程，银河通用×清华破解长程打网球难题
银河通用与清华联合提出LATENT研究，使人形机器人通过深度强化学习自主习得网球对打能力，实现从“机械复刻”到“智能决策”跨越。该研究提出新运动学习方法，构建“运动小脑”等，经实验验证性能优越。
AI下半场的战场，从Agent记忆体正式打响
OpenClaw开源项目爆火，标志AI进入下半场走向真实应用。关键在于解决AI在现实中持续干活的问题，核心是Agent Memory。论文梳理该赛道，指出其是系统级记忆体结构框架，未来关键在memory策略可学习。
Open Responses 规范实现智能体式 LLM 工作流的统一
OpenAI发布Open Responses开放规范，获Hugging Face等支持，为智能体式AI工作流制定统一标准，减少API碎片化，支持多模态输入等，引发行业对厂商锁定和生态成熟度的讨论。
Agent框架各自为战？谷歌&微软：用Agent-KB让经验自由流动
当前不同框架的Agent知识无法互通，谷歌、耶鲁、字节、oppo等团队联合提出Agent KB，这是通用记忆基础设施，能让异构Agent框架共享经验。它有师生双阶段检索机制，实验验证其能带来显著增益。
从斑马鱼到机器鱼：机器人实验重塑神经行为研究
瑞士联邦理工学院、美国杜克大学与葡萄牙高等理工大学联合团队用机器人替代动物做生理学实验。他们基于斑马鱼构建模型，用机器鱼实验揭示运动机制，成果发表于《科学・机器人》。
Moltbook 指数级异变，人类文明系统彻底崩盘！「未来简史」终章降临
著名人类学者赫拉利警告，AI攻破人类语言防线将接管人类文明。Moltbook出现证明AI掌握语言，2030年AI、合成现实、神经连接三大革命或颠覆人性，人类核心竞争力被瓦解。
开源版 Claude Cowork
Multica是原生桌面客户端，将编程智能体能力带给大众，支持Claude Code等。它类似Obsidian，可按需定制，能解决编程智能体使用障碍，具备简洁界面等特性，还介绍了使用、开发、构建等内容。
直接免单！阿里千问30亿请客吃喝玩乐，春节AI大战彻底白热化
阿里千问APP官宣砸30亿开启「春节请客计划」，2月6日起以「免单」请全国人民吃喝玩乐，阿里生态「全家桶」加入。千问已接入阿里生态，借补贴加速AI Agent普及，有望凭「免单+服务」成「生活万事通」。