「可验证推理」共找到 6170 篇相关文章
影身智能完成多轮融资，用原生3D数据重新定义机器人认知｜甲子光年
影身智能已连续完成多轮融资，累计近亿元。其以‘原生3D动态世界模型’为核心技术，采用与市场不同的‘升维’思路，用自研的‘影身360’系统采集3D数据，还落地柔性智造行业，目标是打造通用人工智能产品。
Lovart 4个独家设计新功能：一人公司品牌设计半小时搞定，你挑挑刺
Lovart 迎来重磅更新，其功能专为一人公司品牌设计定制。用户可创建专属字体、建立品牌套件、批量出物料、保存流程到 Skill 及导出 PSD，打通 AI 生成与专业精修断层。
OpenClaw爆火，暴露12类致命隐患！MCP协议安全基准发布 | ICLR
OpenClaw等开源AI Agent项目爆火，MCP协议拓宽其能力也增大攻击面。北京邮电大学团队推出MSB安全基准，揭示MCP各阶段攻击有效，性能强的模型更易受攻击，还提出NRP指标平衡安全与实用性。
目标更重要？国内公司超越Generalist，进化到动作中心世界模型
具身智能圈被Generalist CEO长文刷屏，其称目标比工具标签重要。但国内极佳世界未停于概念争辩，开源“以动作为中心的世界模型”GigaWorld - Policy，重构具身智能底层逻辑，在多方面表现出色。
AdaGen: 让图像生成模型学会自适应策略
当前主流图像生成模型多步策略依赖手工静态调度规则，存在需大量调参、无法适配样本特性的问题。本文提出AdaGen框架，通过强化学习训练策略网络，在四大生成范式上实现性能提升与效率优化。
张雪机车燃爆封神！国产2B语音模型重磅开源，全网听完都起鸡皮疙瘩
面壁智能联合多方开发的2B小模型VoxCPM 2于4月开源，支持30种语言与9大方言，能实现声音克隆、情绪控制、音色设计等功能。实测显示其能力出色，还提供全家桶级工具箱，采用独特技术路线。
谷歌Gemma 4全系开源：3.8亿激活超越20倍体量模型，手机秒变AI工作站
谷歌发布Gemma 4全系列开源模型，有4个尺寸。它在硬件适配、注意力机制等方面革新，能在手机等设备运行，在测试中成绩出色，还获多平台支持，谷歌发起挑战赛鼓励开发者。
Google大神开源Agent Skills：专治AI偷懒
AI编程工具常偷懒致上线问题多，Google大神Addy Osmani开源Agent Skills，含19个覆盖全流程的技能、7条快捷指令和反借口机制，可通过一条命令使用，支持多种工具。
AI的记忆问题解决了！最强记忆基准99%的准确率
Supermemory团队构建的实验性AI智能体流程，在LongMemEval基准测试中达近99%准确率。其技术摆脱传统限制，以新方式处理信息。ASMR创新数据摄取和检索管道，有两种回答流程，团队计划开源代码。
OpenClaw逼出Claude最强反击！GUI操控电脑和真人无差别，网友：这得花多少token？
Claude Code升级Computer Use能力精准反击OpenClaw，基于GUI操作，像真人操控电脑。升级后无需API或CLI改造，能操控传统软件，还上线远程控制、定时任务功能，有安全分层设计。已向Claude Pro和Max用户开放。